| Mon, 08 Oct 2012 11:37:03 +0200 |
haftmann |
corrected NEWS
|
file |
diff |
annotate
|
| Thu, 04 Oct 2012 13:56:32 +0200 |
wenzelm |
some documentation of show_markup;
|
file |
diff |
annotate
|
| Fri, 28 Sep 2012 16:51:58 +0200 |
wenzelm |
smarter handling of tracing messages;
|
file |
diff |
annotate
|
| Sat, 22 Sep 2012 21:23:16 +0200 |
wenzelm |
some PIDE NEWS from this summer;
|
file |
diff |
annotate
|
| Fri, 21 Sep 2012 16:45:06 +0200 |
blanchet |
renamed "Codatatype" directory "BNF" (and corresponding session) -- this opens the door to no-nonsense session names like "HOL-BNF-LFP"
|
file |
diff |
annotate
|
| Thu, 20 Sep 2012 17:21:13 +0200 |
Andreas Lochbihler |
NEWS and CONTRIBUTORS for a5377f6d9f14 and f0ecc1550998
|
file |
diff |
annotate
|
| Sat, 15 Sep 2012 20:14:29 +0200 |
haftmann |
typeclass formalising bounded subtraction
|
file |
diff |
annotate
|
| Fri, 14 Sep 2012 12:09:27 +0200 |
blanchet |
merged two commands
|
file |
diff |
annotate
|
| Wed, 12 Sep 2012 05:29:21 +0200 |
blanchet |
renamed "Ordinals_and_Cardinals" to "Cardinals"
|
file |
diff |
annotate
|
| Mon, 10 Sep 2012 12:13:39 +0200 |
wenzelm |
more explicit indication of legacy features;
|
file |
diff |
annotate
|
| Fri, 07 Sep 2012 08:20:18 +0200 |
haftmann |
lattice instances for option type
|
file |
diff |
annotate
|
| Fri, 07 Sep 2012 08:20:18 +0200 |
haftmann |
combinator Option.these
|
file |
diff |
annotate
|
| Tue, 04 Sep 2012 13:06:28 +0900 |
Christian Sternagel |
NEWS; CONTRIBUTORS
|
file |
diff |
annotate
|
| Mon, 03 Sep 2012 11:09:25 +0200 |
wenzelm |
"isabelle logo" produces EPS and PDF format simultaneously;
|
file |
diff |
annotate
|
| Wed, 29 Aug 2012 20:16:22 +0200 |
wenzelm |
provide polyml-5.4.1 as regular component;
|
file |
diff |
annotate
|