| Sun, 25 Mar 2012 20:15:39 +0200 |
huffman |
merged fork with new numeral representation (see NEWS)
|
file |
diff |
annotate
|
| Mon, 20 Feb 2012 12:37:17 +0100 |
huffman |
use qualified constant names instead of suffixes (from Florian Haftmann)
|
file |
diff |
annotate
|
| Wed, 29 Sep 2010 10:05:44 +0200 |
haftmann |
scala is reserved identifier
|
file |
diff |
annotate
|
| Fri, 10 Sep 2010 10:21:25 +0200 |
haftmann |
Haskell == is infix, not infixl
|
file |
diff |
annotate
|
| Wed, 01 Sep 2010 11:09:50 +0200 |
haftmann |
do not print object frame around Scala includes -- this is in the responsibility of the user
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 19:34:23 +0200 |
haftmann |
renamed class/constant eq to equal; tuned some instantiations
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 13:55:23 +0200 |
haftmann |
re-added accidental omission
|
file |
diff |
annotate
|
| Thu, 26 Aug 2010 13:56:35 +0200 |
haftmann |
merged
|
file |
diff |
annotate
|
| Thu, 26 Aug 2010 13:25:14 +0200 |
haftmann |
re-added accidental omission
|
file |
diff |
annotate
|
| Thu, 26 Aug 2010 12:19:50 +0200 |
haftmann |
tuned includes
|
file |
diff |
annotate
|
| Thu, 26 Aug 2010 10:16:22 +0200 |
haftmann |
code_include Scala: qualify module nmae
|
file |
diff |
annotate
|
| Mon, 26 Jul 2010 11:10:35 +0200 |
haftmann |
added Code_Natural.thy
|
file |
diff |
annotate
| base
|