isabelle: File revisions

README

8 months ago	wenzelm	2011-09-18	tuned;	file \| diff \| annotate
8 months ago	wenzelm	2011-09-07	some updates for release;	file \| diff \| annotate
16 months ago	wenzelm	2011-01-16	misc updates for release;	file \| diff \| annotate
16 months ago	wenzelm	2011-01-12	updated to ProofGeneral-4.x;	file \| diff \| annotate
21 months ago	wenzelm	2010-08-17	discontinued support for Poly/ML 5.0 and 5.1 versions;	file \| diff \| annotate
23 months ago	wenzelm	2010-06-09	removed outdated/confusing INSTALL file;	file \| diff \| annotate
24 months ago	wenzelm	2010-05-28	some updates for release;	file \| diff \| annotate
2010-05-12	wenzelm	2010-05-12	updated some version numbers;	file \| diff \| annotate
2009-11-22	wenzelm	2009-11-22	misc tuning and updates for official release;	file \| diff \| annotate
2009-08-11	wenzelm	2009-08-11	clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;	file \| diff \| annotate
2009-04-15	wenzelm	2009-04-15	misc tuning for Isabelle2009;	file \| diff \| annotate
2009-04-02	wenzelm	2009-04-02	misc tuning for release;	file \| diff \| annotate
2008-07-17	wenzelm	2008-07-17	tuned line breaks (NB: generated text is inserted here);	file \| diff \| annotate
2008-06-05	haftmann	2008-06-05	adjusted location of cambridge website	file \| diff \| annotate
2008-05-28	wenzelm	2008-05-28	tuned version numbers;	file \| diff \| annotate
2007-11-20	wenzelm	2007-11-20	updated Proof General advertisement; tuned line breaks;	file \| diff \| annotate
2007-11-12	wenzelm	2007-11-12	removed left-over text links from lynx conversion; removed umlauts (cannot assume iso-latin anymore, and not yet utf-8 either);	file \| diff \| annotate
2007-10-27	haftmann	2007-10-27	ASCIIfied README	file \| diff \| annotate
1996-11-27	paulson	1996-11-27	Updated instructions	file \| diff \| annotate
1996-11-21	paulson	1996-11-21	Further comments on versions of SML/NJ	file \| diff \| annotate
1996-11-18	paulson	1996-11-18	Updated and clearer(?) instructions	file \| diff \| annotate
1996-10-21	paulson	1996-10-21	Mentions the possibility of pathnames in ISABELLECOMP;	file \| diff \| annotate
1995-01-20	lcp	1995-01-20	README: Now documents to Tools directory	file \| diff \| annotate
1994-12-21	lcp	1994-12-21	Moved description of tools to Tools/README	file \| diff \| annotate
1994-09-13	lcp	1994-09-13	updated for Isabelle94	file \| diff \| annotate
1994-07-12	lcp	1994-07-12	minor updates	file \| diff \| annotate
1994-05-13	lcp	1994-05-13	make-all-poly, make-all-nj: restored to main directory as examples README: modified accordingly	file \| diff \| annotate
1993-12-13	lcp	1993-12-13	added isabelle-users paragraph	file \| diff \| annotate
1993-11-05	nipkow	1993-11-05	change of my address	file \| diff \| annotate
1993-11-05	lcp	1993-11-05	Added documenation of change_simp.	file \| diff \| annotate
1993-10-28	lcp	1993-10-28	deletion of obsolete/private files; update of README	file \| diff \| annotate
1993-09-16	clasohm	1993-09-16	Initial revision	file \| diff \| annotate

(0) tip

isabelle

RSS Atom