| Tue, 06 Oct 2015 17:47:28 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Tue, 01 Sep 2015 22:32:58 +0200 |
wenzelm |
eliminated \<Colon>;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
| Thu, 11 Sep 2014 19:32:36 +0200 |
blanchet |
updated news
|
file |
diff |
annotate
|
| Tue, 09 Sep 2014 20:51:36 +0200 |
blanchet |
use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
|
file |
diff |
annotate
|
| Fri, 09 May 2014 08:13:37 +0200 |
haftmann |
hardcoded nbe and sml into value command
|
file |
diff |
annotate
|
| Wed, 19 Oct 2011 08:37:15 +0200 |
bulwahn |
removing invocations of the evaluation method based on the old code generator
|
file |
diff |
annotate
|
| Wed, 03 Aug 2011 14:24:23 +0200 |
bulwahn |
removing value invocations with the SML code generator
|
file |
diff |
annotate
|
| Sat, 27 Nov 2010 19:41:27 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Fri, 26 Nov 2010 23:49:49 +0100 |
haftmann |
tuned example
|
file |
diff |
annotate
|
| Tue, 14 Jul 2009 16:27:30 +0200 |
haftmann |
more canonical import
|
file |
diff |
annotate
|
| Fri, 20 Feb 2009 18:29:09 +0100 |
haftmann |
stripped Id
|
file |
diff |
annotate
|
| Wed, 03 Dec 2008 15:58:44 +0100 |
haftmann |
made repository layout more coherent with logical distribution structure; stripped some $Id$s
|
file |
diff |
annotate
|
| Tue, 16 Sep 2008 09:21:22 +0200 |
haftmann |
generic value command
|
file |
diff |
annotate
|
| Thu, 31 Jan 2008 11:44:43 +0100 |
haftmann |
proper term_of functions
|
file |
diff |
annotate
|