| Mon, 29 May 2017 09:14:15 +0200 |
eberlm |
reorganised material on sublists
|
file |
diff |
annotate
|
| Thu, 26 May 2016 17:51:22 +0200 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
| Fri, 01 Jan 2016 14:44:52 +0100 |
wenzelm |
more symbols;
|
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
|
| Fri, 28 Dec 2012 10:25:59 +0100 |
haftmann |
code checking for Scala is mandatory, since Scala is now required anyway for Isabelle
|
file |
diff |
annotate
|
| Sun, 25 Mar 2012 20:15:39 +0200 |
huffman |
merged fork with new numeral representation (see NEWS)
|
file |
diff |
annotate
|
| Mon, 12 Sep 2011 07:55:43 +0200 |
nipkow |
new fastforce replacing fastsimp - less confusing name
|
file |
diff |
annotate
|
| Mon, 22 Nov 2010 09:37:39 +0100 |
haftmann |
renamed slightly ambivalent crel to effect
|
file |
diff |
annotate
|
| Thu, 29 Jul 2010 12:28:45 +0200 |
haftmann |
tuned example
|
file |
diff |
annotate
|
| Thu, 29 Jul 2010 09:56:59 +0200 |
haftmann |
checking Scala_imp
|
file |
diff |
annotate
|
| Mon, 26 Jul 2010 11:09:45 +0200 |
haftmann |
reactivated Scala check; tuned import order
|
file |
diff |
annotate
|
| Sat, 24 Jul 2010 18:08:43 +0200 |
haftmann |
temporarily deactivating check for Scala
|
file |
diff |
annotate
|
| Fri, 16 Jul 2010 15:28:22 +0200 |
haftmann |
first roughly working version of Imperative HOL for Scala
|
file |
diff |
annotate
|
| Wed, 14 Jul 2010 16:13:14 +0200 |
haftmann |
avoid export_code ... file -
|
file |
diff |
annotate
|