| Mon, 10 Sep 2012 15:52:51 +0200 | Walther Neuper | merged | changeset | files |
| Mon, 10 Sep 2012 15:52:44 +0200 | Walther Neuper | jrocnik: eJMT conclusion | changeset | files |
| Sun, 09 Sep 2012 21:18:00 +0200 | Jan Rocnik | jrocnik: paper: new ordering according mail contact | changeset | files |
| Sun, 09 Sep 2012 21:14:20 +0200 | Jan Rocnik | merged | changeset | files |
| Sun, 09 Sep 2012 21:13:19 +0200 | Jan Rocnik | repaired after failed merge | changeset | files |
| Sun, 09 Sep 2012 21:12:49 +0200 | Walther Neuper | merged | changeset | files |
| Sun, 09 Sep 2012 21:12:41 +0200 | Walther Neuper | tuned | changeset | files |
| Sun, 09 Sep 2012 21:08:11 +0200 | Jan Rocnik | merged | changeset | files |
| Sun, 09 Sep 2012 21:06:30 +0200 | Jan Rocnik | failed merge | changeset | files |
| Sun, 09 Sep 2012 18:01:20 +0200 | Jan Rocnik | jrocnik: paper: new version of 3.4 and start of 3.5 | changeset | files |
| Sun, 09 Sep 2012 19:42:39 +0200 | Walther Neuper | jrocnik: finished 2. | changeset | files |
| Sun, 09 Sep 2012 19:05:02 +0200 | Walther Neuper | jrocnik: 2.2 partially | changeset | files |
| Sun, 09 Sep 2012 17:32:22 +0200 | Walther Neuper | jrocnik: paper 4.1 | changeset | files |
| Sun, 09 Sep 2012 16:29:03 +0200 | Walther Neuper | jrocnik: 3.6. finished | changeset | files |
| Sun, 09 Sep 2012 14:56:34 +0200 | Walther Neuper | merged | changeset | files |
| Sun, 09 Sep 2012 14:54:30 +0200 | Walther Neuper | jrocnik: 3.6 | changeset | files |
| Sun, 09 Sep 2012 13:11:45 +0200 | Walther Neuper | merged | changeset | files |
| Sun, 09 Sep 2012 13:00:40 +0200 | Walther Neuper | jrocnik: intermed. for merging | changeset | files |
| Sun, 09 Sep 2012 14:48:30 +0200 | Jan Rocnik | jrocnik: paper: added section simplifiers'' | changeset | files |
| Sun, 09 Sep 2012 12:48:59 +0200 | Jan Rocnik | merged | changeset | files |
| 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 |