| Fri, 09 Aug 2013 11:26:29 +0200 |
traytel |
tuned
|
changeset |
files
|
| Thu, 08 Aug 2013 20:43:54 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 08 Aug 2013 17:49:07 +0200 |
wenzelm |
eliminate \<twosuperior> as well;
|
changeset |
files
|
| Thu, 08 Aug 2013 17:36:14 +0200 |
wenzelm |
more strict identifier syntax: disallow superscripts, which tend to be used in notation such as \<^sup>\<omega>;
|
changeset |
files
|
| Thu, 08 Aug 2013 17:24:31 +0200 |
wenzelm |
prefer plain subscript for identifiers;
|
changeset |
files
|
| Thu, 08 Aug 2013 17:04:02 +0200 |
wenzelm |
proper low-level comparison -- heed warning by Scala compiler;
|
changeset |
files
|
| Thu, 08 Aug 2013 18:20:15 +0200 |
Andreas Lochbihler |
merged
|
changeset |
files
|
| Thu, 08 Aug 2013 18:15:12 +0200 |
Andreas Lochbihler |
prefer Code.abort with explicit error message
|
changeset |
files
|
| Thu, 08 Aug 2013 18:13:12 +0200 |
kleing |
avoid re-inventing transitive closure
|
changeset |
files
|
| Thu, 08 Aug 2013 16:38:50 +0200 |
traytel |
merged
|
changeset |
files
|
| Thu, 08 Aug 2013 16:38:28 +0200 |
traytel |
theorems relating {c,d}tor_(un)fold/(co)rec and {c,d}tor_map
|
changeset |
files
|
| Thu, 08 Aug 2013 15:30:25 +0200 |
traytel |
tuned
|
changeset |
files
|
| Thu, 08 Aug 2013 14:48:19 +0200 |
traytel |
tuned tactic;
|
changeset |
files
|
| Thu, 08 Aug 2013 16:10:05 +0200 |
Andreas Lochbihler |
abort execution of generated code with explicit exception message
|
changeset |
files
|