1997-05-20 | wenzelm | fixed bash path; | file | diff | annotate |
1997-05-14 | wenzelm | renamed DEFAULT_LOGIC to ISABELLE_LOGIC; | file | diff | annotate |
1997-04-22 | wenzelm | removed -norc; | file | diff | annotate |
1997-04-11 | wenzelm | fixed { ... } shell syntax to accomodate bash 2.x; | file | diff | annotate |
1997-04-07 | wenzelm | added -t (run tests) option; | file | diff | annotate |
1997-04-04 | wenzelm | improved messages; | file | diff | annotate |
1997-04-04 | wenzelm | added -b option (batch mode); | file | diff | annotate |
1997-04-02 | wenzelm | misc improvements; | file | diff | annotate |
1997-03-11 | wenzelm | major tuning; | file | diff | annotate |
1997-03-11 | wenzelm | added THIS_IS_ISABELLE_BUILD; | file | diff | annotate |
1997-03-07 | wenzelm | fixed src path; | file | diff | annotate |
1997-03-07 | wenzelm | tuned comment; | file | diff | annotate |
1997-03-07 | wenzelm | build - compile parts of the Isabelle system; | file | diff | annotate |