Change necessary to hide the 'Project description' button (alias 'Home') but maintaining the project description text in the welcome page.
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