Mercurialisabelle / file revisions
summary | shortlog | changelog | graph | tags | branches | file | revisions | annotate | diff | rss
build
2000-11-30 wenzelm 2000-11-30 /usr/bin/env bash; file | diff | annotate
2000-11-22 wenzelm 2000-11-22 tuned; file | diff | annotate
2000-09-03 wenzelm 2000-09-03 GPLed; show targets; file | diff | annotate
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names; file | diff | annotate
1999-10-20 wenzelm 1999-10-20 option -m TARGET; file | diff | annotate
1999-10-07 wenzelm 1999-10-07 unset ISABELLE_SETTINGS_PRESENT; file | diff | annotate
1999-08-20 wenzelm 1999-08-20 echo ML_PLATFORM; file | diff | annotate
1999-08-19 wenzelm 1999-08-19 improved messages; file | diff | annotate
1999-02-08 wenzelm 1999-02-08 -i option; file | diff | annotate
1998-08-27 wenzelm 1998-08-27 fixed ISABELLE_USEDIR_OPTIONS; file | diff | annotate
1998-08-27 wenzelm 1998-08-27 tuned; added ISABELLE_USEDIR_OPTIONS; file | diff | annotate
1998-01-19 wenzelm 1998-01-19 make images; file | diff | annotate
1997-12-19 wenzelm 1997-12-19 tuned; file | diff | annotate
1997-05-20 wenzelm 1997-05-20 fixed bash path; file | diff | annotate
1997-05-14 wenzelm 1997-05-14 renamed DEFAULT_LOGIC to ISABELLE_LOGIC; file | diff | annotate
1997-04-22 wenzelm 1997-04-22 removed -norc; file | diff | annotate
1997-04-11 wenzelm 1997-04-11 fixed { ... } shell syntax to accomodate bash 2.x; file | diff | annotate
1997-04-07 wenzelm 1997-04-07 added -t (run tests) option; file | diff | annotate
1997-04-04 wenzelm 1997-04-04 improved messages; file | diff | annotate
1997-04-04 wenzelm 1997-04-04 added -b option (batch mode); file | diff | annotate
1997-04-02 wenzelm 1997-04-02 misc improvements; file | diff | annotate
1997-03-11 wenzelm 1997-03-11 major tuning; file | diff | annotate
1997-03-11 wenzelm 1997-03-11 added THIS_IS_ISABELLE_BUILD; file | diff | annotate
1997-03-07 wenzelm 1997-03-07 fixed src path; file | diff | annotate
1997-03-07 wenzelm 1997-03-07 tuned comment; file | diff | annotate
1997-03-07 wenzelm 1997-03-07 build - compile parts of the Isabelle system; file | diff | annotate
isabelle