isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

README.html

1999-01-14	wenzelm	tuned;	file \| diff \| annotate
1999-01-11	wenzelm	tuned, updated;	file \| diff \| annotate
1998-10-21	wenzelm	dropped support for SML/NJ 109.x;	file \| diff \| annotate
1998-10-20	paulson	updated the MLWorks description	file \| diff \| annotate
1998-10-18	wenzelm	updated, tuned;	file \| diff \| annotate
1998-09-22	wenzelm	tuned Isamode;	file \| diff \| annotate
1998-08-28	wenzelm	tuned;	file \| diff \| annotate
1998-08-27	wenzelm	www.in.tum.de;	file \| diff \| annotate
1998-07-28	wenzelm	tuned;	file \| diff \| annotate
1998-05-29	wenzelm	tuned;	file \| diff \| annotate
1998-05-28	wenzelm	version under control of Admin/makedist;	file \| diff \| annotate
1998-01-19	wenzelm	tuned;	file \| diff \| annotate
1997-12-24	wenzelm	tuned;	file \| diff \| annotate
1997-12-17	wenzelm	added MLWorks;	file \| diff \| annotate
1997-12-15	wenzelm	tuned;	file \| diff \| annotate
1997-12-12	wenzelm	prepared for Isabelle98;	file \| diff \| annotate
1997-11-06	wenzelm	Perl no longer optional;	file \| diff \| annotate
1997-08-06	wenzelm	removed smlnj-1.07;	file \| diff \| annotate
1997-05-27	wenzelm	added 1.09.28 note;	file \| diff \| annotate
1997-05-23	wenzelm	tuned;	file \| diff \| annotate
1997-05-22	wenzelm	added href to Isamode;	file \| diff \| annotate
1997-05-21	wenzelm	tuned all READMEs;	file \| diff \| annotate
1997-05-21	wenzelm	tuned;	file \| diff \| annotate
1997-05-20	wenzelm	fix spelling;	file \| diff \| annotate
1997-05-20	wenzelm	the new README;	file \| diff \| annotate

less more (0) tip

isabelle

RSS Atom