| Sun, 09 Sep 2012 12:48:30 +0200 | Jan Rocnik | jrocnik: paper: beauty operations, warning suspressions, minor content adding | changeset | files |
| Sun, 09 Sep 2012 11:50:14 +0200 | Walther Neuper | merged | changeset | files |
| Sun, 09 Sep 2012 11:49:55 +0200 | Walther Neuper | doc-src/isac/jrocnik/eJMT-paper/README-instead-mail.txt | changeset | files |
| Sun, 09 Sep 2012 10:57:54 +0200 | Jan Rocnik | tuned | changeset | files |
| Sat, 08 Sep 2012 23:11:53 +0200 | Jan Rocnik | tuned | changeset | files |
| Fri, 07 Sep 2012 18:12:50 +0200 | Walther Neuper | jrocnik: example calculation | changeset | files |
| Fri, 07 Sep 2012 13:34:07 +0200 | Walther Neuper | jrocnik: paper | changeset | files |
| Thu, 06 Sep 2012 21:54:54 +0200 | Jan Rocnik | tuned | changeset | files |
| Wed, 05 Sep 2012 11:55:10 +0200 | Walther Neuper | jrocnik: eJMT, hints for sect 3,4 | changeset | files |
| Mon, 03 Sep 2012 20:51:44 +0200 | Walther Neuper | jrocnik: review of eJMT-paper | changeset | files |
| Fri, 31 Aug 2012 20:02:40 +0200 | Jan Rocnik | merged ideas | changeset | files |
| Fri, 31 Aug 2012 19:19:34 +0200 | Jan Rocnik | merged | changeset | files |
| Fri, 31 Aug 2012 19:19:07 +0200 | Jan Rocnik | cadgme finals - outstanding commit | changeset | files |
| Wed, 29 Aug 2012 18:34:15 +0200 | Walther Neuper | jrocnik: added 1st draft for eJMT paper | changeset | files |
| 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 |