| Tue, 19 Jul 2011 09:30:10 +0200 | intermed: uncomment tests with CompleteCalc | file | diff | annotate |
| Mon, 18 Jul 2011 17:21:21 +0200 | intermed: test/../Frontend/interface.sml | file | diff | annotate |
| Mon, 18 Jul 2011 15:20:04 +0200 | TESTS not WORKING ! | file | diff | annotate |
| Wed, 11 May 2011 14:58:07 +0200 | intermed. ctxt ..: Add_Given doesnt work due to wrong ctxt in Subproblem | file | diff | annotate |
| Sat, 16 Apr 2011 10:19:45 +0200 | Apply_Method transfers ctxt from specification to interpretation | file | diff | annotate |
| Mon, 11 Apr 2011 12:56:57 +0200 | intermed. ctxt introduction | file | diff | annotate |
| Fri, 08 Apr 2011 15:16:08 +0200 | intermed. context integration: parse replaced in some cases | file | diff | annotate |
| Wed, 23 Mar 2011 17:20:39 +0100 | make Test_Isac.thy run in jEdit; intermed. | file | diff | annotate |