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) |