1996-10-21 | paulson | Mentions the possibility of pathnames in ISABELLECOMP; | file | diff | annotate |
1995-01-20 | lcp | README: Now documents to Tools directory | file | diff | annotate |
1994-12-21 | lcp | Moved description of tools to Tools/README | file | diff | annotate |
1994-09-13 | lcp | updated for Isabelle94 | file | diff | annotate |
1994-07-12 | lcp | minor updates | file | diff | annotate |
1994-05-13 | lcp | make-all-poly, make-all-nj: restored to main directory as examples | file | diff | annotate |
1993-12-13 | lcp | added isabelle-users paragraph | file | diff | annotate |
1993-11-05 | nipkow | change of my address | file | diff | annotate |
1993-11-05 | lcp | Added documenation of change_simp. | file | diff | annotate |
1993-10-28 | lcp | deletion of obsolete/private files; update of README | file | diff | annotate |
1993-09-16 | clasohm | Initial revision | file | diff | annotate |