SITools2

10/04/2015

20:36 Revision 43a2f5b2 (git_sitools_idoc): Change necessary to hide the URL of an html file as title of the panel. In this case, 'Preview' is shown in the header

Alessandro_N

09/04/2015

16:11 Revision 009a5df8 (git_sitools_idoc): add mizar repository (embedded version)

Herve Ballans

07/04/2015

12:02 Revision a89bfe2a (git_sitools_idoc): Merge branch 'master' of https://git.ias.u-psud.fr/hballans/sitools-idoc

Herve Ballans

12:01 Revision 89e1dcfc (git_sitools_idoc): version 2

Herve Ballans

11:38 Revision 4d87d599 (git_sitools_idoc): Merge branch 'master' of https://git.ias.u-psud.fr/hballans/sitools-idoc

Elie Soubrie

11:34 Revision 9052abe0 (git_sitools_idoc): validate2

rvb

11:32 Revision a987b9a3 (git_sitools_idoc): validate

rvb

11:16 Revision 32095ed5 (git_sitools_idoc): New directory for szcluster-db instance

Elie Soubrie

03/04/2015

15:39 Revision efeb0228 (git_sitools_idoc): first readme

Herve Ballans