Tue, 27 Jan 2009 19:27:59 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
Mon, 29 Dec 2008 21:01:55 +0100 | wenzelm | - renamed Command.Phase to Command.Status (cf. src/Pure/Isar/isar.ML); | file | diff | annotate |
Mon, 29 Dec 2008 20:43:04 +0100 | wenzelm | replaced EventSource by EventBus; | file | diff | annotate |
Fri, 19 Dec 2008 23:11:08 +0100 | wenzelm | added some headers and comments; | file | diff | annotate |
Thu, 18 Dec 2008 01:10:20 +0100 | immler | restructured: independent provers in different buffers | file | diff | annotate |
Mon, 15 Dec 2008 16:34:19 +0100 | immler | added 'delay or ignore' | file | diff | annotate |
Mon, 15 Dec 2008 16:23:17 +0100 | immler | delayed repainting new phase in buffer and overview; | file | diff | annotate |
Wed, 10 Dec 2008 19:52:35 +0100 | immler | information on command-phase left of scrollbar (with panel) | file | diff | annotate |