| Mon, 31 Jan 2011 11:15:02 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 19 Jan 2011 21:46:45 +0100 | wenzelm | more release checks; | file | diff | annotate |
| Tue, 18 Jan 2011 11:42:11 +0100 | wenzelm | more notes on final release stage; | file | diff | annotate |
| Mon, 17 Jan 2011 18:10:46 +0100 | wenzelm | some notes on final release stage; | file | diff | annotate |
| Mon, 17 Jan 2011 16:57:24 +0100 | wenzelm | keep Proof General 4.0 and 3.7.1.1 for now; | file | diff | annotate |
| Sun, 16 Jan 2011 21:05:10 +0100 | wenzelm | misc updates for release; | file | diff | annotate |
| Wed, 12 Jan 2011 16:41:49 +0100 | wenzelm | updated to ProofGeneral-4.x; | file | diff | annotate |
| Fri, 07 Jan 2011 16:11:02 +0100 | wenzelm | updated for release; | file | diff | annotate |
| Sun, 28 Nov 2010 14:01:20 +0100 | wenzelm | updated versions; | file | diff | annotate |
| Sun, 28 Nov 2010 13:55:19 +0100 | wenzelm | follow-up to HOLCF move (cf. 0437dbc127b3, 04d44a20fccf); | file | diff | annotate |
| Thu, 24 Jun 2010 13:31:26 +0200 | wenzelm | notes on packaging; | file | diff | annotate |
| Wed, 09 Jun 2010 14:08:08 +0200 | wenzelm | removed outdated/confusing INSTALL file; | file | diff | annotate |
| Wed, 02 Jun 2010 15:38:27 +0200 | wenzelm | actually test smlnj; | file | diff | annotate |
| Fri, 28 May 2010 15:17:17 +0200 | wenzelm | lib/Tools/makeall does not hardiwre logics; | file | diff | annotate |
| Fri, 28 May 2010 11:37:38 +0200 | wenzelm | discontinued Sun/Solaris tests; | file | diff | annotate |