Change necessary to show default values in 'NUMERIC_BETWEEN' query form component as textbox watermarks.
Merge branch 'master' of https://git.ias.u-psud.fr/hballans/sitools-idoc
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)
version 2
validate2
validate
New directory for szcluster-db instance
first readme