Wed, 23 Apr 2008 15:04:14 +0200 |
misc cleanup;
|
file | diff | annotate |
Thu, 17 Apr 2008 22:22:19 +0200 |
pretty_term: no revert_skolems here, but auto_fixes (token translations will do the rest);
|
file | diff | annotate |
Fri, 28 Mar 2008 19:12:39 +0100 |
some styling
|
file | diff | annotate |
Fri, 28 Mar 2008 00:02:54 +0100 |
reorganized signature of ML_Context;
|
file | diff | annotate |
Mon, 24 Mar 2008 23:34:24 +0100 |
ML runtime compilation: pass position, tuned signature;
|
file | diff | annotate |
Tue, 09 Oct 2007 00:20:13 +0200 |
generic Syntax.pretty/string_of operations;
|
file | diff | annotate |
Sat, 15 Sep 2007 19:27:35 +0200 |
fixed title
|
file | diff | annotate |
Thu, 09 Aug 2007 16:56:17 +0200 |
adapted ThyLoad.check_thy;
|
file | diff | annotate |
Thu, 19 Jul 2007 15:33:27 +0200 |
Added named_thms antiquotation.
|
file | diff | annotate |
Sun, 08 Jul 2007 19:51:51 +0200 |
renamed ML_exc to ML_exn;
|
file | diff | annotate |
Sat, 10 Feb 2007 09:26:07 +0100 |
added antiquotation for exceptions
|
file | diff | annotate |
Fri, 19 Jan 2007 22:08:01 +0100 |
renamed IsarOutput to ThyOutput;
|
file | diff | annotate |
Fri, 19 Jan 2007 13:16:37 +0100 |
adapted ML context operations;
|
file | diff | annotate |
Wed, 15 Nov 2006 15:37:34 +0100 |
Auxiliary antiquotations for Isabelle manuals.
|
file | diff | annotate |