| Mon, 23 Mar 2009 21:32:14 +0100 | immler | merged: resolved conflicts with Markups: ML-syntax styles in styles.props | changeset | files |
| Fri, 20 Mar 2009 12:46:57 +0100 | immler | changes of text with unique id | changeset | files |
| Fri, 20 Mar 2009 11:57:21 +0100 | immler | fixes | changeset | files |
| Thu, 19 Mar 2009 16:48:29 +0100 | immler | merged; resolved conflicts (kept own versions) | changeset | files |
| Thu, 19 Mar 2009 16:18:57 +0100 | immler | Prover as actor managing ProofDocument-versions (removed EventBus structural_changes); | changeset | files |
| Thu, 19 Mar 2009 13:16:07 +0100 | immler | build jar before running/debugging | changeset | files |
| Thu, 19 Mar 2009 13:15:27 +0100 | immler | probably setup from new Scala Plugin 0.15.1 for NetBeans | changeset | files |