| 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
|