Mizar Embedded » History » Version 1
Herve Ballans, 27/03/2015 16:14
1 | 1 | Herve Ballans | h1. Mizar Embedded (sans instance SITools2) |
---|---|---|---|
2 | 1 | Herve Ballans | |
3 | 1 | Herve Ballans | prototype accessible ici : |
4 | 1 | Herve Ballans | http://mizarlite.ias.u-psud.fr/ |
5 | 1 | Herve Ballans | |
6 | 1 | Herve Ballans | Fichiers nécessaires : |
7 | 1 | Herve Ballans | |
8 | 1 | Herve Ballans | <pre> |
9 | 1 | Herve Ballans | www root |
10 | 1 | Herve Ballans | |__mizar |
11 | 1 | Herve Ballans | |__ index.html |
12 | 1 | Herve Ballans | |__ MizarWidget.min.js |
13 | 1 | Herve Ballans | |__ css |
14 | 1 | Herve Ballans | |__ data |
15 | 1 | Herve Ballans | </pre> |
16 | 1 | Herve Ballans | |
17 | 1 | Herve Ballans | A modifier : |
18 | 1 | Herve Ballans | - index.html en se basant sur l'API JS (voir wiki du projet) |
19 | 1 | Herve Ballans | - data/backgroundSurvey.json pour prédéfinir des surveys (cela évite de les déclarer dans l'API) |