| Fri, 18 Aug 2017 20:47:47 +0200 |
wenzelm |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
file |
diff |
annotate
|
| Sun, 02 Jul 2017 20:13:38 +0200 |
haftmann |
proper concept of code declaration wrt. atomicity and Isar declarations
|
file |
diff |
annotate
|
| Sat, 24 Jun 2017 21:23:48 +0200 |
wenzelm |
back to scala-2.12.2, after a41435469559;
|
file |
diff |
annotate
|
| Mon, 22 May 2017 00:23:25 +0200 |
wenzelm |
back to scala-2.11.8 due to apparent non-termination of HOL-Codegenerator_Test;
|
file |
diff |
annotate
|
| Thu, 26 May 2016 17:51:22 +0200 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
| Fri, 15 Feb 2013 11:47:34 +0100 |
haftmann |
attempt to re-establish conventions which theories are loaded into the grand unified library theory;
|
file |
diff |
annotate
|
| Fri, 28 Dec 2012 10:15:39 +0100 |
haftmann |
code checking for Scala is mandatory, since Scala is now required anyway for Isabelle
|
file |
diff |
annotate
|
| Fri, 26 Nov 2010 12:03:18 +0100 |
haftmann |
globbing constant expressions use more idiomatic underscore rather than star
|
file |
diff |
annotate
|
| Wed, 14 Jul 2010 16:02:50 +0200 |
haftmann |
explicit optional checking
|
file |
diff |
annotate
|
| Wed, 14 Jul 2010 15:49:29 +0200 |
haftmann |
added Isar syntax for code checking
|
file |
diff |
annotate
|
| Wed, 14 Jul 2010 14:20:47 +0200 |
haftmann |
check without explicit path
|
file |
diff |
annotate
|
| Thu, 08 Jul 2010 16:19:24 +0200 |
haftmann |
checking generated code for various target languages
|
file |
diff |
annotate
|
| Fri, 02 Jul 2010 14:23:18 +0200 |
haftmann |
introduced distinct session HOL-Codegenerator_Test
|
file |
diff |
annotate
| base
|