1999-04-22 | wenzelm | tuned; | file | diff | annotate |
1999-04-13 | wenzelm | adapted isatool install; | file | diff | annotate |
1999-03-10 | wenzelm | tuned; | file | diff | annotate |
1999-02-08 | wenzelm | no deps on compile time sources; | file | diff | annotate |
1998-08-27 | wenzelm | tuned; | file | diff | annotate |
1998-08-27 | wenzelm | isatool install; | file | diff | annotate |
1997-11-20 | wenzelm | removed old note; | file | diff | annotate |
1997-05-23 | wenzelm | tuned; | file | diff | annotate |
1997-05-20 | wenzelm | tuned; | file | diff | annotate |
1997-05-06 | wenzelm | tuned; | file | diff | annotate |
1997-03-07 | wenzelm | tuned; | file | diff | annotate |
1997-03-07 | wenzelm | Isabelle installation notes; | file | diff | annotate |