| Mon, 06 Jun 2011 19:08:46 +0200 |
wenzelm |
moved incr_boundvars;
|
file |
diff |
annotate
|
| Mon, 06 Jun 2011 18:05:38 +0200 |
wenzelm |
modernized and re-unified Thm.transfer;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 21:44:05 +0200 |
wenzelm |
use existing \<hyphen>;
|
file |
diff |
annotate
|
| Sun, 01 May 2011 17:42:21 +0200 |
wenzelm |
simplified keyword markup (without formal checking);
|
file |
diff |
annotate
|
| Sun, 01 May 2011 00:01:59 +0200 |
wenzelm |
use @{rail} antiquotation (with some nested markup);
|
file |
diff |
annotate
|
| Tue, 19 Apr 2011 10:50:54 +0200 |
wenzelm |
updated some theory primitives, which now depend on auxiliary context;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 11:49:56 +0200 |
wenzelm |
eliminated obsolete \_ escapes in rail environments;
|
file |
diff |
annotate
|
| Mon, 25 Oct 2010 16:14:40 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Mon, 18 Oct 2010 15:35:20 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 17 Oct 2010 20:25:36 +0100 |
wenzelm |
use continental paragraph style, which works better with mixture of (in)formal text;
|
file |
diff |
annotate
|
| Wed, 13 Oct 2010 13:05:23 +0100 |
wenzelm |
examples in Isabelle/HOL;
|
file |
diff |
annotate
|
| Mon, 11 Oct 2010 21:10:50 +0100 |
wenzelm |
more refs;
|
file |
diff |
annotate
|
| Sat, 09 Oct 2010 21:04:03 +0100 |
wenzelm |
various concrete ML antiquotations;
|
file |
diff |
annotate
|
| Thu, 07 Oct 2010 12:39:01 +0100 |
wenzelm |
minor tuning and updating;
|
file |
diff |
annotate
|
| Fri, 10 Sep 2010 15:42:14 +0200 |
wenzelm |
fixed antiquotation;
|
file |
diff |
annotate
|