| Wed, 13 Jan 2010 09:13:30 +0100 | haftmann | merged | changeset | files |
| Tue, 12 Jan 2010 16:27:42 +0100 | haftmann | code certificates as integral part of code generation | changeset | files |
| Wed, 13 Jan 2010 09:02:47 +0100 | haftmann | import of antiquote_setup not necessary | changeset | files |
| Wed, 13 Jan 2010 08:56:25 +0100 | haftmann | merged | changeset | files |
| Wed, 13 Jan 2010 08:56:16 +0100 | haftmann | being more accurate wrt. list syntax | changeset | files |
| Wed, 13 Jan 2010 08:56:16 +0100 | haftmann | deactivate pretty code test for Scala -- no proper setup yet | changeset | files |
| Wed, 13 Jan 2010 08:56:15 +0100 | haftmann | some syntax setup for Scala | changeset | files |
| Wed, 13 Jan 2010 00:08:56 +0100 | wenzelm | added SOLVED' -- a more direct version of THEN_ALL_NEW (K no_tac) -- strictly speaking it does not even depend on subgoal addressing, but it would be too confusing without it; | changeset | files |