| Tue, 26 Apr 2005 20:38:15 +0200 | dixon | lucas - improved comments, clarified function behaviour, added missing functions for working with meta variables. | changeset | files |
| Tue, 26 Apr 2005 19:55:25 +0200 | wenzelm | export intro_classes_tac; | changeset | files |
| Tue, 26 Apr 2005 19:53:19 +0200 | wenzelm | allow symlinks to all proper Isabelle executables; | changeset | files |
| Tue, 26 Apr 2005 19:52:17 +0200 | wenzelm | eval command line: show results; | changeset | files |
| Tue, 26 Apr 2005 19:51:56 +0200 | wenzelm | no longer need feeder to run normal interactive sessions; | changeset | files |
| Tue, 26 Apr 2005 19:51:28 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 26 Apr 2005 19:51:12 +0200 | wenzelm | restored AUTO_BASH/PERL -- beware of ./configure! | changeset | files |