| 1997-12-17 | wenzelm | tuned comment; | file | diff | annotate |
| 1997-12-02 | wenzelm | ISABELLE_TMP; | file | diff | annotate |
| 1997-08-06 | wenzelm | renamed use_string to use_strings; | file | diff | annotate |
| 1997-08-05 | wenzelm | cleaned up; | file | diff | annotate |
| 1997-08-05 | wenzelm | tuned comments; | file | diff | annotate |
| 1996-12-16 | wenzelm | SML/NJ startup script (for 0.93). | file | diff | annotate |