doc-src/IsarRef/Thy/HOL_Specific.thy
Thu, 23 Dec 2010 12:01:02 +0100 haftmann documentation stub on type_lifting
Fri, 03 Dec 2010 08:40:47 +0100 bulwahn explaining quickcheck testers in the documentation
Sun, 28 Nov 2010 21:07:28 +0100 wenzelm Parse.liberal_name for document antiquotations and attributes;
Fri, 26 Nov 2010 12:03:18 +0100 haftmann globbing constant expressions use more idiomatic underscore rather than star
Fri, 26 Nov 2010 11:38:20 +0100 haftmann datatype constructor glob for code_reflect
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
Fri, 29 Oct 2010 11:49:56 +0200 wenzelm eliminated obsolete \_ escapes in rail environments;
Fri, 29 Oct 2010 11:35:47 +0200 wenzelm proper markup of formal text;
Fri, 29 Oct 2010 08:44:43 +0200 bulwahn updating documentation on quickcheck in the Isar reference
Tue, 26 Oct 2010 12:19:01 +0200 krauss basic documentation for command partial_function
Tue, 26 Oct 2010 12:19:01 +0200 krauss remove outdated "(otherwise)" syntax from manual
Wed, 22 Sep 2010 10:04:17 +0200 haftmann formal syntax diagram for code_reflect
Fri, 27 Aug 2010 14:25:07 +0200 haftmann official support for Scala
Tue, 17 Aug 2010 14:33:39 +0200 haftmann formally document `code abstype` and `code abstract` attributes
Wed, 14 Jul 2010 14:53:44 +0200 haftmann export_code without file prints to standard output
less more (0) -15 tip