Activity - Herve Ballans - IDOC Redmine

Herve Ballans's activity

From 11/03/2015 to 09/04/2015

09/04/2015

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

07/04/2015

12:02 SITools2 Revision a89bfe2a (git_sitools_idoc): Merge branch 'master' of https://git.ias.u-psud.fr/hballans/sitools-idoc: Herve Ballans
12:01 SITools2 Revision 89e1dcfc (git_sitools_idoc): version 2: Herve Ballans

03/04/2015

15:39 SITools2 Revision efeb0228 (git_sitools_idoc): first readme: Herve Ballans

Also available in: Atom