Project

General

Profile

Statistics
| Branch: | Revision:

git_sitools_idoc @ 009a5df8

Name Size
  mizar
  szcluster-db
README.txt 79 Bytes
ingest.sql 13 Bytes

Latest revisions

# Date Author Comment
009a5df8 09/04/2015 16:11 Herve Ballans

add mizar repository (embedded version)
a89bfe2a 07/04/2015 12:02 Herve Ballans

Merge branch 'master' of https://git.ias.u-psud.fr/hballans/sitools-idoc
89e1dcfc 07/04/2015 12:01 Herve Ballans

version 2
4d87d599 07/04/2015 11:38 Elie Soubrie

Merge branch 'master' of https://git.ias.u-psud.fr/hballans/sitools-idoc
9052abe0 07/04/2015 11:34 rvb

validate2
a987b9a3 07/04/2015 11:32 rvb

validate
32095ed5 07/04/2015 11:16 Elie Soubrie

New directory for szcluster-db instance
efeb0228 03/04/2015 15:39 Herve Ballans

first readme

View all revisions | View revisions

Also available in: Atom