src/Tools/jEdit/src/proofdocument/command.scala
Wed, 30 Dec 2009 17:48:58 +0100 wenzelm more explicit modeling of Command and Command_State as Session.Entity;
Fri, 11 Dec 2009 22:25:28 +0100 wenzelm removed unused Session.prover_logic;
Thu, 10 Dec 2009 22:15:19 +0100 wenzelm class Session models full session, with or without prover process (cf. heaps, browser_info);
Tue, 08 Dec 2009 21:54:34 +0100 wenzelm more precise messages;
Tue, 08 Dec 2009 16:30:20 +0100 wenzelm misc modernization of names;
Tue, 08 Dec 2009 14:49:01 +0100 wenzelm misc rearrangement of files;
less more (0) tip