Mon, 06 Aug 2012 16:38:37 +0200 |
Walther Neuper |
added test --- UC errpat, fillpat step to Rewrite_Set ---
|
changeset |
files
|
Mon, 06 Aug 2012 16:19:30 +0200 |
Walther Neuper |
fetchProposedTactic returns Tactic + errpatID list
|
changeset |
files
|
Mon, 06 Aug 2012 10:38:11 +0200 |
Walther Neuper |
PROVISIONALLY MADE TESTS RUN with Unsynchronized.ref
|
changeset |
files
|
Sat, 04 Aug 2012 16:42:05 +0200 |
Walther Neuper |
outcommented tests on Unsynchronized.ref
|
changeset |
files
|
Sat, 04 Aug 2012 10:43:07 +0200 |
Walther Neuper |
intermed: isolate tests from others
|
changeset |
files
|
Fri, 03 Aug 2012 15:44:39 +0200 |
Walther Neuper |
Build_Thydata.thy with insert_errpats ok
|
changeset |
files
|
Thu, 02 Aug 2012 18:39:06 +0200 |
Walther Neuper |
completed interface to dialog-autoring
|
changeset |
files
|
Thu, 02 Aug 2012 15:48:57 +0200 |
Walther Neuper |
improved fun insert_fillpats
|
changeset |
files
|
Tue, 31 Jul 2012 15:16:47 +0200 |
Walther Neuper |
prepared for fun stepToErrorPatterns
|
changeset |
files
|
Mon, 30 Jul 2012 16:41:08 +0200 |
Walther Neuper |
findFillpatterns: repaired signature
|
changeset |
files
|
Sun, 29 Jul 2012 16:29:04 +0200 |
Walther Neuper |
prepare for stepToErrorPattern
|
changeset |
files
|
Fri, 27 Jul 2012 08:24:32 +0200 |
Walther Neuper |
merged
|
changeset |
files
|
Fri, 27 Jul 2012 08:24:25 +0200 |
Walther Neuper |
thms for Rational.thy
|
changeset |
files
|
Thu, 21 Jun 2012 07:24:03 +0200 |
Walther Neuper |
merged
|
changeset |
files
|
Thu, 21 Jun 2012 07:23:56 +0200 |
Walther Neuper |
save before fetch
|
changeset |
files
|
Thu, 21 Jun 2012 20:48:36 +0200 |
Jan Rocnik |
tuned
|
changeset |
files
|
Wed, 20 Jun 2012 11:14:04 +0200 |
Jan Rocnik |
Added Examples for jrocnik's presentation at CADGME
|
changeset |
files
|
Sun, 17 Jun 2012 22:36:27 +0200 |
Jan Rocnik |
added first version of cadgme presentation
|
changeset |
files
|
Sun, 17 Jun 2012 22:34:04 +0200 |
Jan Rocnik |
merged
|
changeset |
files
|
Sun, 17 Jun 2012 22:33:35 +0200 |
Jan Rocnik |
added first version of cadgme presentation
|
changeset |
files
|
Wed, 13 Jun 2012 10:30:33 +0200 |
Walther Neuper |
errpats for cancel
|
changeset |
files
|
Wed, 13 Jun 2012 07:28:39 +0200 |
Walther Neuper |
first dialog sequence for error patterns
|
changeset |
files
|
Fri, 25 May 2012 16:30:15 +0200 |
Walther Neuper |
added "fun inputFillFormula"
|
changeset |
files
|
Fri, 25 May 2012 09:58:20 +0200 |
Walther Neuper |
cleaned "fun generate_inconsistent_rew"
|
changeset |
files
|
Thu, 24 May 2012 19:07:15 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
Thu, 24 May 2012 18:40:07 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
Thu, 24 May 2012 17:13:58 +0200 |
Walther Neuper |
prepared fun inputFillform
|
changeset |
files
|
Tue, 22 May 2012 13:40:06 +0200 |
Walther Neuper |
added "fun requestFillformula"
|
changeset |
files
|
Tue, 22 May 2012 07:00:53 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
Mon, 21 May 2012 16:56:01 +0200 |
Walther Neuper |
added fun FindFillpatterns
|
changeset |
files
|
Mon, 21 May 2012 07:59:57 +0200 |
Walther Neuper |
added fillpats to thehier
|
changeset |
files
|
Thu, 17 May 2012 19:09:48 +0200 |
Walther Neuper |
fun check_error_patterns finished
|
changeset |
files
|
Thu, 17 May 2012 16:44:13 +0200 |
Walther Neuper |
intermed.
|
changeset |
files
|
Thu, 17 May 2012 12:43:04 +0200 |
Walther Neuper |
fun get_bdv_subst: get a substitution for bound variables from a program
|
changeset |
files
|
Wed, 16 May 2012 15:47:22 +0200 |
Walther Neuper |
extended "type met" with errpats
|
changeset |
files
|
Wed, 16 May 2012 15:01:47 +0200 |
Walther Neuper |
prep. extend "type met" with errpaty
|
changeset |
files
|
Wed, 16 May 2012 08:59:09 +0200 |
Walther Neuper |
added fun check_err_patt
|
changeset |
files
|
Mon, 14 May 2012 14:47:45 +0200 |
Walther Neuper |
merged
|
changeset |
files
|
Mon, 14 May 2012 14:47:31 +0200 |
Walther Neuper |
polished ["SignalProcessing", "Z_Transform", "Inverse_sub"]
|
changeset |
files
|
Fri, 11 May 2012 14:48:27 +0200 |
Jan Rocnik |
presented version off present-2
|
changeset |
files
|
Sun, 06 May 2012 16:13:41 +0200 |
Jan Rocnik |
merged
|
changeset |
files
|
Sun, 06 May 2012 16:13:11 +0200 |
Jan Rocnik |
tuned present-2
|
changeset |
files
|
Sat, 05 May 2012 23:54:28 +0200 |
Walther Neuper |
met ["SignalProcessing", "Z_Transform", "Inverse_sub"] finished
|
changeset |
files
|
Sat, 05 May 2012 15:16:13 +0200 |
Walther Neuper |
intermed. met ["SignalProcessing", "Z_Transform", "Inverse_sub"]
|
changeset |
files
|
Sat, 05 May 2012 14:28:20 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
Sat, 05 May 2012 14:07:58 +0200 |
Walther Neuper |
formatted TP-PL with (*calculation*)
|
changeset |
files
|
Fri, 04 May 2012 17:33:31 +0200 |
Walther Neuper |
prep met ["SignalProcessing", "Z_Transform", "Inverse_sub"]
|
changeset |
files
|
Fri, 04 May 2012 08:51:42 +0200 |
Walther Neuper |
made 3 exps SignalProcessing run
|
changeset |
files
|
Tue, 24 Apr 2012 17:44:02 +0200 |
Walther Neuper |
generalised store_thm to all knowledge
|
changeset |
files
|
Wed, 18 Apr 2012 18:57:37 +0200 |
Walther Neuper |
test
|
changeset |
files
|
Tue, 10 Apr 2012 09:50:13 +0200 |
Walther Neuper |
repaired test broken by merge
|
changeset |
files
|
Tue, 10 Apr 2012 09:31:31 +0200 |
Walther Neuper |
merged
|
changeset |
files
|
Tue, 10 Apr 2012 09:31:21 +0200 |
Walther Neuper |
xml-files created from Knowledge (Isabelle2002 --> 2011)
|
changeset |
files
|
Thu, 05 Apr 2012 17:08:48 +0200 |
Walther Neuper |
pbls2file, mets2file work again (Isabelle2002 --> 2011)
|
changeset |
files
|
Thu, 05 Apr 2012 16:53:43 +0200 |
Walther Neuper |
renamed ID "inverse" to "Inverse" (Isabelle2002 --> 2011)
|
changeset |
files
|
Thu, 05 Apr 2012 16:44:21 +0200 |
Walther Neuper |
intermed.
|
changeset |
files
|
Mon, 09 Apr 2012 14:41:41 +0200 |
Jan Rocnik |
tuned
|
changeset |
files
|
Sun, 08 Apr 2012 21:18:25 +0200 |
Jan Rocnik |
tuned
|
changeset |
files
|
Fri, 06 Apr 2012 19:50:48 +0200 |
Jan Rocnik |
tuned rocnik_present-2
|
changeset |
files
|
Thu, 05 Apr 2012 11:31:56 +0200 |
Walther Neuper |
thydata created (Isabelle2002 --> 2011)
|
changeset |
files
|