Thu, 11 Jul 2013 16:58:31 +0200 |
end of improving tests for isac on Isabelle2012
|
file | diff | annotate |
Fri, 21 Jun 2013 17:53:46 +0200 |
tuned
|
file | diff | annotate |
Fri, 21 Jun 2013 17:49:24 +0200 |
Test_Isac.thy without errors on Isabelle2012, rewtools.sml:
|
file | diff | annotate |
Fri, 21 Jun 2013 11:19:18 +0200 |
Test_Isac.thy without errors on Isabelle2012, intermediate
|
file | diff | annotate |
Fri, 21 Jun 2013 08:06:50 +0200 |
tuned
|
file | diff | annotate |
Fri, 21 Jun 2013 08:06:16 +0200 |
plans for isac's transitions Isabelle2011-->12 in more detail; errors in tests
|
file | diff | annotate |
Thu, 20 Jun 2013 17:53:47 +0200 |
manually completed "thehier" such that insert_errpats, insert_fillpats
|
file | diff | annotate |
Thu, 20 Jun 2013 11:26:56 +0200 |
plans for isac's transitions Isabelle2011-->12 and Isabelle2012-->13
|
file | diff | annotate |
Sun, 16 Jun 2013 12:31:41 +0200 |
Isabelle2011 --> 2012 intermediate
|
file | diff | annotate |
Sun, 14 Oct 2012 21:26:02 +0200 |
2011-->2012: "isabelle usedir -b HOL Isac" works
|
file | diff | annotate |
Sun, 14 Oct 2012 20:00:27 +0200 |
2011-->2012: ...
|
file | diff | annotate |
Thu, 20 Sep 2012 10:07:02 +0200 |
added error-pattern "addition-of-fractions"
|
file | diff | annotate |
Mon, 06 Aug 2012 10:38:11 +0200 |
PROVISIONALLY MADE TESTS RUN with Unsynchronized.ref
|
file | diff | annotate |
Sat, 04 Aug 2012 10:43:07 +0200 |
intermed: isolate tests from others
|
file | diff | annotate |
Fri, 03 Aug 2012 15:44:39 +0200 |
Build_Thydata.thy with insert_errpats ok
|
file | diff | annotate |
Thu, 02 Aug 2012 18:39:06 +0200 |
completed interface to dialog-autoring
|
file | diff | annotate |
Thu, 02 Aug 2012 15:48:57 +0200 |
improved fun insert_fillpats
|
file | diff | annotate |
Thu, 21 Jun 2012 07:23:56 +0200 |
save before fetch
|
file | diff | annotate |
Tue, 22 May 2012 13:40:06 +0200 |
added "fun requestFillformula"
|
file | diff | annotate |
Mon, 21 May 2012 07:59:57 +0200 |
added fillpats to thehier
|
file | diff | annotate |
Tue, 10 Apr 2012 09:31:21 +0200 |
xml-files created from Knowledge (Isabelle2002 --> 2011)
|
file | diff | annotate |
Thu, 05 Apr 2012 11:31:56 +0200 |
thydata created (Isabelle2002 --> 2011)
|
file | diff | annotate |