| Fri, 26 Nov 2010 11:38:20 +0100 |
haftmann |
datatype constructor glob for code_reflect
|
file |
diff |
annotate
|
| Sat, 06 Nov 2010 00:10:32 +0100 |
krauss |
abolished obscure goal variant of [split_format] -- unused (cf. d1c14898fd04), unrelated to '(complete)' variant, and not at all canonical
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 11:49:56 +0200 |
wenzelm |
eliminated obsolete \_ escapes in rail environments;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 11:35:47 +0200 |
wenzelm |
proper markup of formal text;
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 08:44:43 +0200 |
bulwahn |
updating documentation on quickcheck in the Isar reference
|
file |
diff |
annotate
|
| Tue, 26 Oct 2010 12:19:01 +0200 |
krauss |
basic documentation for command partial_function
|
file |
diff |
annotate
|
| Tue, 26 Oct 2010 12:19:01 +0200 |
krauss |
remove outdated "(otherwise)" syntax from manual
|
file |
diff |
annotate
|
| Wed, 22 Sep 2010 10:04:17 +0200 |
haftmann |
formal syntax diagram for code_reflect
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 14:25:07 +0200 |
haftmann |
official support for Scala
|
file |
diff |
annotate
|
| Tue, 17 Aug 2010 14:33:39 +0200 |
haftmann |
formally document `code abstype` and `code abstract` attributes
|
file |
diff |
annotate
|
| Wed, 14 Jul 2010 14:53:44 +0200 |
haftmann |
export_code without file prints to standard output
|
file |
diff |
annotate
|
| Thu, 08 Jul 2010 16:48:33 +0200 |
haftmann |
updated documentation
|
file |
diff |
annotate
|
| Thu, 17 Jun 2010 10:45:10 +0200 |
haftmann |
added simp evaluator
|
file |
diff |
annotate
|
| Mon, 14 Jun 2010 10:50:49 +0200 |
haftmann |
tuned internal order
|
file |
diff |
annotate
|
| Mon, 14 Jun 2010 10:38:28 +0200 |
haftmann |
corrected syntax diagram
|
file |
diff |
annotate
|