Fri, 14 Feb 2014 14:52:50 +0100 | wenzelm | prefer latest ProofGeneral-4.2-1 by default; | file | diff | annotate |
Sat, 18 Jan 2014 20:49:15 +0100 | wenzelm | more unicode tokens; | file | diff | annotate |
Mon, 27 May 2013 13:44:02 +0200 | wenzelm | updated to ProofGeneral-4.2; | file | diff | annotate |
Wed, 09 Jan 2013 18:12:21 +0100 | wenzelm | updated makebundles as Admin isabelle tool; | file | diff | annotate |