| Tue, 25 Jun 2013 11:41:16 +0200 |
wenzelm |
more formal isabelle_admin_build;
|
file |
diff |
annotate
|
| Mon, 24 Jun 2013 23:33:14 +0200 |
wenzelm |
improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first;
|
file |
diff |
annotate
|
| Sun, 07 Feb 2010 19:54:12 +0100 |
wenzelm |
modernized perl scripts: prefer standalone executables;
|
file |
diff |
annotate
|
| Sat, 14 Nov 2009 18:15:21 +0100 |
wenzelm |
generate keywords for Emacs Proof General only;
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 11:39:27 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Tue, 21 Oct 2008 20:18:07 +0200 |
wenzelm |
tuned usage line;
|
file |
diff |
annotate
|
| Tue, 08 Apr 2008 15:47:10 +0200 |
wenzelm |
removed obsolete AUTO_PERL feature;
|
file |
diff |
annotate
|
| Sun, 07 Oct 2007 13:32:15 +0200 |
wenzelm |
added target tool specification;
|
file |
diff |
annotate
|
| Sat, 06 Oct 2007 22:07:17 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 06 Oct 2007 21:25:58 +0200 |
wenzelm |
generate outer syntax keyword files from session logs;
|
file |
diff |
annotate
|