| Tue, 17 Apr 2012 18:15:02 +0200 | Walther Neuper | gdaroczy thesis review part2 | changeset | files |
| Tue, 17 Apr 2012 15:10:30 +0200 | Walther Neuper | tuned xmldata/* Isabelle2002 --> 2011 | changeset | files |
| Tue, 17 Apr 2012 12:11:56 +0200 | Walther Neuper | replaced xmldata/thy Isabelle2002 --> 2011 | changeset | files |
| Tue, 17 Apr 2012 11:26:55 +0200 | Walther Neuper | replaced xmldata/met Isabelle2002 --> 2011 | changeset | files |
| Tue, 17 Apr 2012 08:24:18 +0200 | Walther Neuper | replaced xmldata/pbl Isabelle2002 --> 2011 | changeset | files |
| Tue, 17 Apr 2012 08:05:50 +0200 | Walther Neuper | replaced xmldata/exp Isabelle2002 --> 2011 | changeset | files |
| Tue, 17 Apr 2012 07:35:00 +0200 | Walther Neuper | gdaroczy thesis review part1 | changeset | files |
| Mon, 16 Apr 2012 17:48:45 +0200 | Walther Neuper | added gdaroczy's mailed thesis | changeset | files |
| Sat, 14 Apr 2012 17:04:07 +0200 | Walther Neuper | tuned BridgeLog message | changeset | files |
| Sat, 14 Apr 2012 14:02:18 +0200 | Walther Neuper | START_ISABELLE for 2011, cp into properties/ | changeset | files |
| Fri, 13 Apr 2012 17:49:14 +0200 | Walther Neuper | tuned | changeset | files |
| Fri, 13 Apr 2012 15:50:11 +0200 | Walther Neuper | minimal data for Isabelle2012 | changeset | files |
| Fri, 13 Apr 2012 15:39:45 +0200 | Walther Neuper | migrated kernel Isabelle2002 --> 2011, REQUIRES NEW SETUP | changeset | files |
| Fri, 13 Apr 2012 09:49:13 +0200 | Walther Neuper | prep migration Isabelle2002 --> 2011 | changeset | files |
| Mon, 12 Mar 2012 17:42:19 +0100 | Walther Neuper | meeting gdaroczy | changeset | files |
| Mon, 12 Mar 2012 15:25:29 +0100 | Walther Neuper | repaired error in START_ISABELLE_2002 | changeset | files |
| Mon, 12 Mar 2012 10:37:38 +0100 | n.n. | First push | changeset | files |
| Mon, 12 Mar 2012 10:11:37 +0100 | Walther Neuper | renamed IToDialog --> IToUser again | changeset | files |
| Mon, 05 Mar 2012 10:13:18 +0100 | Walther Neuper | minor adds in doc | changeset | files |
| Thu, 01 Mar 2012 18:04:41 +0100 | Walther Neuper | cleaned mkienl_fkober | changeset | files |
| Wed, 29 Feb 2012 07:09:10 +0100 | Walther Neuper | tuned | changeset | files |
| Tue, 28 Feb 2012 18:14:02 +0100 | Walther Neuper | discussion with gdaroczy | changeset | files |
| Tue, 21 Feb 2012 15:32:01 +0100 | Walther Neuper | WorksheetDialog: test/../TestSolve parallel RLB -- NOrlb | changeset | files |
| Tue, 21 Feb 2012 14:31:24 +0100 | Walther Neuper | switched WorksheetDialog to rule-based version. | changeset | files |
| Tue, 21 Feb 2012 14:28:33 +0100 | Walther Neuper | adhoc | changeset | files |
| Mon, 20 Feb 2012 10:16:23 +0100 | Franz Kober | tuned | changeset | files |
| Sun, 19 Feb 2012 15:10:03 +0100 | Franz Kober | added logging from session and LO_EXAMPLE_FINISHED_SUCCESSFUL | changeset | files |
| Sun, 19 Feb 2012 09:04:54 +0100 | Walther Neuper | merged | changeset | files |
| Sun, 19 Feb 2012 09:04:48 +0100 | Walther Neuper | extended LogItem | changeset | files |
| Sat, 18 Feb 2012 14:55:44 +0100 | Markus Kienleitner | added lib for logging drools | changeset | files |
| Sat, 18 Feb 2012 13:28:20 +0100 | Walther Neuper | merged | changeset | files |
| Sat, 18 Feb 2012 13:28:12 +0100 | Walther Neuper | final comments to RLB, protocol tzilling | changeset | files |
| Sat, 18 Feb 2012 11:04:40 +0100 | Markus Kienleitner | cleaned up lib for drools | changeset | files |
| Sat, 18 Feb 2012 08:28:34 +0100 | tzilling | Merge | changeset | files |
| Sat, 18 Feb 2012 08:22:21 +0100 | tzilling | WebStart Dummyimplementation | changeset | files |
| Fri, 17 Feb 2012 17:33:45 +0100 | Markus Kienleitner | merged | changeset | files |
| Fri, 17 Feb 2012 17:33:18 +0100 | Markus Kienleitner | added Rules for WorksheetDialog and WorksheetDialog RLB | changeset | files |
| Fri, 17 Feb 2012 16:14:47 +0100 | Walther Neuper | Franz finished his work. | changeset | files |
| Fri, 17 Feb 2012 15:01:49 +0100 | Markus Kienleitner | modified rules | changeset | files |
| Fri, 17 Feb 2012 14:51:37 +0100 | Franz Kober | tuned | changeset | files |
| Fri, 17 Feb 2012 14:44:16 +0100 | Franz Kober | merged | changeset | files |
| Fri, 17 Feb 2012 14:43:36 +0100 | Franz Kober | fixed logging bug | changeset | files |
| Fri, 17 Feb 2012 13:26:02 +0100 | Walther Neuper | tuned | changeset | files |
| Fri, 17 Feb 2012 13:25:52 +0100 | Walther Neuper | Markus finished his work. | changeset | files |
| Fri, 17 Feb 2012 11:46:16 +0100 | Walther Neuper | merged | changeset | files |
| Fri, 17 Feb 2012 11:46:11 +0100 | Walther Neuper | comments | changeset | files |
| Fri, 17 Feb 2012 11:12:52 +0100 | Markus Kienleitner | tuned | changeset | files |
| Fri, 17 Feb 2012 10:53:35 +0100 | Markus Kienleitner | refactored TestSolveEct | changeset | files |
| Fri, 17 Feb 2012 10:52:33 +0100 | Markus Kienleitner | merged | changeset | files |
| Fri, 17 Feb 2012 10:49:29 +0100 | Markus Kienleitner | refactored TestSolve | changeset | files |
| Fri, 17 Feb 2012 10:21:04 +0100 | Walther Neuper | merged | changeset | files |
| Fri, 17 Feb 2012 10:20:57 +0100 | Walther Neuper | TestSolveEtc just started | changeset | files |
| Thu, 16 Feb 2012 17:23:26 +0100 | Markus Kienleitner | tuned | changeset | files |
| Thu, 16 Feb 2012 17:16:36 +0100 | Markus Kienleitner | ad-hoc | changeset | files |
| Thu, 16 Feb 2012 17:07:44 +0100 | Markus Kienleitner | added TestSolve#append* with RLB | changeset | files |
| Thu, 16 Feb 2012 16:55:42 +0100 | Walther Neuper | restored all tests for TestSolve | changeset | files |
| Thu, 16 Feb 2012 16:38:39 +0100 | Walther Neuper | some tests are missing due to merge | changeset | files |
| Thu, 16 Feb 2012 16:16:03 +0100 | Walther Neuper | merged | changeset | files |
| Thu, 16 Feb 2012 16:10:07 +0100 | Walther Neuper | all tests for existing WorksheetDialog adapted from TestBridgeInput | changeset | files |
| Thu, 16 Feb 2012 15:58:35 +0100 | Markus Kienleitner | handled CalcMessage in WorksheetRMI | changeset | files |