| Tue, 18 Jan 2011 21:37:23 +0100 | hoelzl | Gauge measure removed | changeset | files |
| Tue, 18 Jan 2011 09:44:29 +0100 | haftmann | merged | changeset | files |
| Tue, 18 Jan 2011 09:44:23 +0100 | haftmann | report mutabelle log in mira configuration | changeset | files |
| Mon, 17 Jan 2011 20:20:51 +0100 | wenzelm | back to post-release mode; | changeset | files |
| Mon, 24 Sep 2012 16:39:30 +0200 | Walther Neuper | meeting dmeindl: added missing files | changeset | files |
| Mon, 24 Sep 2012 09:20:21 +0200 | Walther Neuper | meeting dmeindl: Test_Isac.thy ok | changeset | files |
| Mon, 24 Sep 2012 09:07:38 +0200 | Walther Neuper | meeding dmeindl | changeset | files |
| Thu, 20 Sep 2012 10:07:02 +0200 | Walther Neuper | added error-pattern "addition-of-fractions" | changeset | files |
| Fri, 14 Sep 2012 12:23:48 +0200 | Walther Neuper | merged | changeset | files |
| Fri, 14 Sep 2012 12:23:39 +0200 | Walther Neuper | jrocnik: cut to 16 pages, finalised spell check | changeset | files |
| Fri, 14 Sep 2012 10:00:16 +0200 | Jan Rocnik | jrocnik: paper: jrocnik - finished | changeset | files |
| Thu, 13 Sep 2012 22:44:56 +0200 | Jan Rocnik | jrocnik: paper: nearly finished formulars | changeset | files |
| Thu, 13 Sep 2012 22:06:39 +0200 | Jan Rocnik | jrocnik: paper: complete spellcheck | changeset | files |
| Thu, 13 Sep 2012 21:40:22 +0200 | Jan Rocnik | merged | changeset | files |
| Thu, 13 Sep 2012 21:39:51 +0200 | Jan Rocnik | jrocnik: paper: commit only for fresh fetch | changeset | files |
| Thu, 13 Sep 2012 21:20:05 +0200 | Walther Neuper | jrocnik: all \sect finished | changeset | files |
| Thu, 13 Sep 2012 17:39:07 +0200 | Walther Neuper | jrocnik: \sect.3.5 done | changeset | files |
| Thu, 13 Sep 2012 06:25:30 +0200 | Jan Rocnik | merged | changeset | files |
| Thu, 13 Sep 2012 06:24:52 +0200 | Jan Rocnik | jrocnik: paper: rewrite on 3.2 to be continiued | changeset | files |
| Wed, 12 Sep 2012 21:14:15 +0200 | Walther Neuper | jrocnik: reworked up to \sect.3.5 | changeset | files |
| Wed, 12 Sep 2012 17:38:44 +0200 | Walther Neuper | jrocnik: comments to 3.2. | changeset | files |
| Tue, 11 Sep 2012 22:27:50 +0200 | Jan Rocnik | jrocnik: paper: rework on 3.5 completed, severell style changes (no more paragraph or example enviroments, smaller sizes in example code). additional some rewrites in 3.3 | changeset | files |
| Tue, 11 Sep 2012 21:45:38 +0200 | Jan Rocnik | merged | changeset | files |
| Tue, 11 Sep 2012 21:45:07 +0200 | Jan Rocnik | jrocnik: paper: rework on 3.5 - commit before merge | changeset | files |
| Tue, 11 Sep 2012 21:34:20 +0200 | Walther Neuper | jrocnik: finished \sect.4 | changeset | files |
| Tue, 11 Sep 2012 18:27:17 +0200 | Walther Neuper | jrocnik: clarifying difference \sect 3 -- 4 | changeset | files |
| Tue, 11 Sep 2012 10:39:58 +0200 | Walther Neuper | merged | changeset | files |
| Tue, 11 Sep 2012 10:39:51 +0200 | Walther Neuper | jrocnik: just before fetch | changeset | files |
| Tue, 11 Sep 2012 09:33:27 +0200 | Jan Rocnik | merged | changeset | files |
| Tue, 11 Sep 2012 09:32:57 +0200 | Jan Rocnik | jrocnik: paper: reserved space for 3.5 | changeset | files |
| 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 |