Thu, 19 Mar 2009 16:48:29 +0100 merged; resolved conflicts (kept own versions)
immler@in.tum.de [Thu, 19 Mar 2009 16:48:29 +0100] rev 34539
merged; resolved conflicts (kept own versions)
Thu, 19 Mar 2009 16:18:57 +0100 Prover as actor managing ProofDocument-versions (removed EventBus structural_changes);
immler@in.tum.de [Thu, 19 Mar 2009 16:18:57 +0100] rev 34538
Prover as actor managing ProofDocument-versions (removed EventBus structural_changes); added actor to TheoryView, receiving updates of Commands (removed EventBus command_info); Prover.edit_document from Makarius 'broken' repository; LinearSet: fixed prev
Thu, 19 Mar 2009 13:16:07 +0100 build jar before running/debugging
immler@in.tum.de [Thu, 19 Mar 2009 13:16:07 +0100] rev 34537
build jar before running/debugging
Thu, 19 Mar 2009 13:15:27 +0100 probably setup from new Scala Plugin 0.15.1 for NetBeans
immler@in.tum.de [Thu, 19 Mar 2009 13:15:27 +0100] rev 34536
probably setup from new Scala Plugin 0.15.1 for NetBeans
Thu, 19 Mar 2009 13:09:52 +0100 LinearSet.prev
immler@in.tum.de [Thu, 19 Mar 2009 13:09:52 +0100] rev 34535
LinearSet.prev
Mon, 02 Mar 2009 19:27:06 +0100 merged, resolving minor conflicts;
wenzelm [Mon, 02 Mar 2009 19:27:06 +0100] rev 34534
merged, resolving minor conflicts;
Mon, 02 Mar 2009 19:17:20 +0100 preliminary/failed attempt to use the new IsarDocument access model to the prover;
wenzelm [Mon, 02 Mar 2009 19:17:20 +0100] rev 34533
preliminary/failed attempt to use the new IsarDocument access model to the prover; misc tuning;
Sun, 08 Mar 2009 23:03:49 +0100 ProofDocument without state
immler@in.tum.de [Sun, 08 Mar 2009 23:03:49 +0100] rev 34532
ProofDocument without state handle text-events via actor
Thu, 05 Mar 2009 16:40:49 +0100 *very* superficial usage of LinearSet
immler@in.tum.de [Thu, 05 Mar 2009 16:40:49 +0100] rev 34531
*very* superficial usage of LinearSet
Thu, 05 Mar 2009 10:53:47 +0100 implemented delete_after
immler@in.tum.de [Thu, 05 Mar 2009 10:53:47 +0100] rev 34530
implemented delete_after
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip