| Thu, 11 Jul 2013 16:58:31 +0200 |
end of improving tests for isac on Isabelle2012
|
file | diff | annotate |
| Sun, 30 Jun 2013 17:27:34 +0200 |
Test_Isac.thy without errors on Isabelle2012, calchead.sml:
|
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 06:51:11 +0200 |
irrelevant cleaning
|
file | diff | annotate |
| Fri, 12 Apr 2013 11:03:41 +0200 |
before finalizing GCD_Poly.thy
|
file | diff | annotate |
| Fri, 11 Jan 2013 12:32:03 +0100 |
tuned
|
file | diff | annotate |
| Sat, 05 Jan 2013 10:41:56 +0100 |
Hints.thy for hints not immediately included in code
|
file | diff | annotate |
| Fri, 14 Dec 2012 12:22:19 +0100 |
before starting transformation Winkler --> Isabelle
|
file | diff | annotate |
| Wed, 12 Dec 2012 09:18:22 +0100 |
intermed. plan removing Unsynchronized.ref
|
file | diff | annotate |
| Sun, 09 Dec 2012 11:23:00 +0100 |
tuned
|
file | diff | annotate |
| Fri, 07 Dec 2012 12:50:05 +0100 |
Test_Isac.thy works except Unsynchronized.ref
|
file | diff | annotate |
| Wed, 05 Dec 2012 16:11:32 +0100 |
Test_Isac.thy works until "Interpret/generate.sml"
|
file | diff | annotate |
| Wed, 05 Dec 2012 15:56:38 +0100 |
Test_Isac.thy works until "Interpret/mstools.sml"
|
file | diff | annotate |
| Wed, 05 Dec 2012 15:29:36 +0100 |
est_Isac.thy works until "ProgLang/scrtools.sml"
|
file | diff | annotate |
| Wed, 05 Dec 2012 09:58:28 +0100 |
Test_Isac.thy works until calculate.sml
|
file | diff | annotate |
| Fri, 02 Nov 2012 12:20:49 +0100 |
jrocnik: finished intro + conclusion
|
file | diff | annotate |
| Sun, 14 Oct 2012 21:35:45 +0200 |
tuned
|
file | diff | annotate |
| Fri, 12 Oct 2012 16:03:07 +0200 |
2011-->2012:
|
file | diff | annotate |
| Mon, 24 Sep 2012 09:20:21 +0200 |
meeting dmeindl: Test_Isac.thy ok
|
file | diff | annotate |
| Thu, 20 Sep 2012 10:07:02 +0200 |
added error-pattern "addition-of-fractions"
|
file | diff | annotate |
| Thu, 13 Sep 2012 21:20:05 +0200 |
jrocnik: all \sect finished
|
file | diff | annotate |
| Tue, 11 Sep 2012 18:27:17 +0200 |
jrocnik: clarifying difference \sect 3 -- 4
|
file | diff | annotate |
| Mon, 06 Aug 2012 16:38:37 +0200 |
added test --- UC errpat, fillpat step to Rewrite_Set ---
|
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 16:42:05 +0200 |
outcommented tests on Unsynchronized.ref
|
file | diff | annotate |
| Sat, 04 Aug 2012 10:43:07 +0200 |
intermed: isolate tests from others
|
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 |
| Tue, 31 Jul 2012 15:16:47 +0200 |
prepared for fun stepToErrorPatterns
|
file | diff | annotate |
| Mon, 30 Jul 2012 16:41:08 +0200 |
findFillpatterns: repaired signature
|
file | diff | annotate |
| Sun, 29 Jul 2012 16:29:04 +0200 |
prepare for stepToErrorPattern
|
file | diff | annotate |
| Fri, 27 Jul 2012 08:24:25 +0200 |
thms for Rational.thy
|
file | diff | annotate |
| Thu, 21 Jun 2012 07:23:56 +0200 |
save before fetch
|
file | diff | annotate |
| Wed, 13 Jun 2012 10:30:33 +0200 |
errpats for cancel
|
file | diff | annotate |
| Wed, 13 Jun 2012 07:28:39 +0200 |
first dialog sequence for error patterns
|
file | diff | annotate |
| Fri, 25 May 2012 16:30:15 +0200 |
added "fun inputFillFormula"
|
file | diff | annotate |
| Fri, 25 May 2012 09:58:20 +0200 |
cleaned "fun generate_inconsistent_rew"
|
file | diff | annotate |
| Thu, 24 May 2012 19:07:15 +0200 |
tuned
|
file | diff | annotate |
| Thu, 24 May 2012 18:40:07 +0200 |
tuned
|
file | diff | annotate |
| Thu, 24 May 2012 17:13:58 +0200 |
prepared fun inputFillform
|
file | diff | annotate |
| Tue, 22 May 2012 13:40:06 +0200 |
added "fun requestFillformula"
|
file | diff | annotate |
| Mon, 21 May 2012 16:56:01 +0200 |
added fun FindFillpatterns
|
file | diff | annotate |
| Mon, 21 May 2012 07:59:57 +0200 |
added fillpats to thehier
|
file | diff | annotate |
| Thu, 17 May 2012 19:09:48 +0200 |
fun check_error_patterns finished
|
file | diff | annotate |
| Thu, 17 May 2012 16:44:13 +0200 |
intermed.
|
file | diff | annotate |
| Thu, 17 May 2012 12:43:04 +0200 |
fun get_bdv_subst: get a substitution for bound variables from a program
|
file | diff | annotate |
| Wed, 16 May 2012 08:59:09 +0200 |
added fun check_err_patt
|
file | diff | annotate |
| Sat, 05 May 2012 23:54:28 +0200 |
met ["SignalProcessing", "Z_Transform", "Inverse_sub"] finished
|
file | diff | annotate |
| Sat, 05 May 2012 15:16:13 +0200 |
intermed. met ["SignalProcessing", "Z_Transform", "Inverse_sub"]
|
file | diff | annotate |
| Sat, 05 May 2012 14:07:58 +0200 |
formatted TP-PL with (*calculation*)
|
file | diff | annotate |
| Fri, 04 May 2012 17:33:31 +0200 |
prep met ["SignalProcessing", "Z_Transform", "Inverse_sub"]
|
file | diff | annotate |
| Fri, 04 May 2012 08:51:42 +0200 |
made 3 exps SignalProcessing run
|
file | diff | annotate |
| Tue, 24 Apr 2012 17:44:02 +0200 |
generalised store_thm to all knowledge
|
file | diff | annotate |
| Wed, 18 Apr 2012 18:57:37 +0200 |
test
|
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 17:08:48 +0200 |
pbls2file, mets2file work again (Isabelle2002 --> 2011)
|
file | diff | annotate |
| Thu, 05 Apr 2012 16:53:43 +0200 |
renamed ID "inverse" to "Inverse" (Isabelle2002 --> 2011)
|
file | diff | annotate |
| Thu, 05 Apr 2012 16:44:21 +0200 |
intermed.
|
file | diff | annotate |
| Thu, 05 Apr 2012 11:31:56 +0200 |
thydata created (Isabelle2002 --> 2011)
|
file | diff | annotate |