| 2005-04-26 | wenzelm | restored AUTO_BASH/PERL -- beware of ./configure! | file | diff | annotate |
| 2005-03-04 | skalberg | Removed practically all references to Library.foldr. | file | diff | annotate |
| 2004-06-21 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| 2003-08-27 | skalberg | Extended the notion of letter and digit, such that now one may use greek, | file | diff | annotate |