Change necessary to hide the URL of an html file as title of the panel. In this case, 'Preview' is shown in the header
add mizar repository (embedded version)
Merge branch 'master' of https://git.ias.u-psud.fr/hballans/sitools-idoc
version 2
validate2
validate
New directory for szcluster-db instance
first readme