testboard: File revisions

README

2012-12-16 ago	updated README;	file \| diff \| annotate
2012-04-27 ago	tuned;	file \| diff \| annotate
2012-04-27 ago	some updates on classic README, reduce the impression that there is much to install manually;	file \| diff \| annotate
2012-04-25 ago	back to mature jdk1.6.0_31, to avoid issues like Sidekick TAB completion and generic ListCellRenderer;	file \| diff \| annotate
2012-04-14 ago	some updates for release;	file \| diff \| annotate
2011-09-18 ago	tuned;	file \| diff \| annotate
2011-09-07 ago	some updates for release;	file \| diff \| annotate
2011-01-16 ago	misc updates for release;	file \| diff \| annotate
2011-01-12 ago	updated to ProofGeneral-4.x;	file \| diff \| annotate
2010-08-17 ago	discontinued support for Poly/ML 5.0 and 5.1 versions;	file \| diff \| annotate
2010-06-09 ago	removed outdated/confusing INSTALL file;	file \| diff \| annotate
2010-05-28 ago	some updates for release;	file \| diff \| annotate
2010-05-12 ago	updated some version numbers;	file \| diff \| annotate
2009-11-22 ago	misc tuning and updates for official release;	file \| diff \| annotate
2009-08-11 ago	clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;	file \| diff \| annotate
2009-04-15 ago	misc tuning for Isabelle2009;	file \| diff \| annotate
2009-04-02 ago	misc tuning for release;	file \| diff \| annotate
2008-07-17 ago	tuned line breaks (NB: generated text is inserted here);	file \| diff \| annotate
2008-06-05 ago	adjusted location of cambridge website	file \| diff \| annotate
2008-05-28 ago	tuned version numbers;	file \| diff \| annotate
2007-11-20 ago	updated Proof General advertisement;	file \| diff \| annotate
2007-11-12 ago	removed left-over text links from lynx conversion;	file \| diff \| annotate
2007-10-27 ago	ASCIIfied README	file \| diff \| annotate
1996-11-27 ago	Updated instructions	file \| diff \| annotate
1996-11-21 ago	Further comments on versions of SML/NJ	file \| diff \| annotate
1996-11-18 ago	Updated and clearer(?) instructions	file \| diff \| annotate
1996-10-21 ago	Mentions the possibility of pathnames in ISABELLECOMP;	file \| diff \| annotate
1995-01-20 ago	README: Now documents to Tools directory	file \| diff \| annotate
1994-12-21 ago	Moved description of tools to Tools/README	file \| diff \| annotate
1994-09-13 ago	updated for Isabelle94	file \| diff \| annotate
1994-07-12 ago	minor updates	file \| diff \| annotate
1994-05-13 ago	make-all-poly, make-all-nj: restored to main directory as examples	file \| diff \| annotate
1993-12-13 ago	added isabelle-users paragraph	file \| diff \| annotate
1993-11-05 ago	change of my address	file \| diff \| annotate
1993-11-05 ago	Added documenation of change_simp.	file \| diff \| annotate
1993-10-28 ago	deletion of obsolete/private files; update of README	file \| diff \| annotate
1993-09-16 ago	Initial revision	file \| diff \| annotate

testboard

RSS Atom