Sun, 20 Jul 2008 23:06:55 +0200 wenzelm added type range;
Sun, 20 Jul 2008 23:06:53 +0200 wenzelm renamed command span markup;
Sun, 20 Jul 2008 20:23:49 +0200 wenzelm SideKickParsedData: minimal content;
Sun, 20 Jul 2008 11:19:08 +0200 haftmann (adjusted)
Sun, 20 Jul 2008 11:10:04 +0200 haftmann (adjusted)
Sat, 19 Jul 2008 19:27:13 +0200 bulwahn added verification framework for the HeapMonad and quicksort as example for this framework
Sat, 19 Jul 2008 11:05:18 +0200 wenzelm build jedit plugin only if jedit is available;
Fri, 18 Jul 2008 22:03:20 +0200 wenzelm misc tuning;
Fri, 18 Jul 2008 18:25:57 +0200 haftmann more class instantiations
Fri, 18 Jul 2008 18:25:56 +0200 haftmann refined code generator setup for rational numbers; more simplification rules for rational numbers
Fri, 18 Jul 2008 18:25:53 +0200 haftmann moved op dvd to theory Ring_and_Field; generalized a couple of lemmas
Fri, 18 Jul 2008 17:09:48 +0200 wenzelm fixed Scala path;
Thu, 17 Jul 2008 21:24:26 +0200 wenzelm tuned build order;
Thu, 17 Jul 2008 21:23:32 +0200 wenzelm proper purge_tmp;
Thu, 17 Jul 2008 21:23:08 +0200 wenzelm tuned message;
Thu, 17 Jul 2008 21:22:44 +0200 wenzelm tuned line breaks (NB: generated text is inserted here);
Thu, 17 Jul 2008 21:07:17 +0200 wenzelm proper usage message;
Thu, 17 Jul 2008 20:40:05 +0200 wenzelm make Isabelle source distribution (via Mercurial);
Thu, 17 Jul 2008 20:15:15 +0200 wenzelm explicit Distribution.changelog;
Thu, 17 Jul 2008 20:15:14 +0200 wenzelm structure Distribution: swapped default for is_official;
Thu, 17 Jul 2008 20:15:13 +0200 wenzelm ThyInfo.remove_thy;
Thu, 17 Jul 2008 20:15:12 +0200 wenzelm structure Distribution: swapped default for is_official;
Thu, 17 Jul 2008 20:05:19 +0200 wenzelm use ../isabelle.sty and ../isabellesym.sty;
Thu, 17 Jul 2008 17:11:34 +0200 wenzelm tuned whitespace;
Thu, 17 Jul 2008 17:10:53 +0200 wenzelm removed old checklist;
Thu, 17 Jul 2008 17:03:48 +0200 wenzelm obsolete;
Thu, 17 Jul 2008 17:01:54 +0200 wenzelm tuned;
Thu, 17 Jul 2008 16:56:50 +0200 wenzelm discontinued maketags;
Thu, 17 Jul 2008 16:56:48 +0200 wenzelm assume GNU tar and find;
Thu, 17 Jul 2008 16:19:06 +0200 wenzelm tuned;
Thu, 17 Jul 2008 16:17:05 +0200 wenzelm use ../isabellesym.sty, which is always available;
Thu, 17 Jul 2008 15:35:15 +0200 wenzelm Admin/build browser;
Thu, 17 Jul 2008 15:33:01 +0200 wenzelm less verbosity;
Thu, 17 Jul 2008 15:26:04 +0200 wenzelm Administrative build -- finish Isabelle source distribution.
Thu, 17 Jul 2008 15:21:52 +0200 krauss simplified proofs
Thu, 17 Jul 2008 13:50:33 +0200 nipkow beautified proofs
Thu, 17 Jul 2008 13:50:17 +0200 nipkow added lemmas
Wed, 16 Jul 2008 17:37:59 +0200 berghofe Added Standardization theory to nominal examples.
Wed, 16 Jul 2008 17:36:44 +0200 berghofe Added Standardization theory.
Wed, 16 Jul 2008 16:42:13 +0200 wenzelm editor model: run interactively for now;
Wed, 16 Jul 2008 16:39:11 +0200 wenzelm updated generated file;
Wed, 16 Jul 2008 16:17:26 +0200 wenzelm identify: more informative id in Toplevel.debug mode;
Wed, 16 Jul 2008 14:28:47 +0200 wenzelm shortlogentry/filelogentry: show shortdate and full description;
Wed, 16 Jul 2008 14:21:57 +0200 ballarin Removed uses of context element includes.
Wed, 16 Jul 2008 11:20:25 +0200 wenzelm added Isar.command, Isar.insert, Isar.remove (editor model);
Wed, 16 Jul 2008 11:20:24 +0200 wenzelm export type id with no_id and create_command;
Tue, 15 Jul 2008 23:36:26 +0200 wenzelm tuned;
Tue, 15 Jul 2008 22:37:58 +0200 wenzelm renamed IsarCmd.nested_command to OuterSyntax.prepare_command;
Tue, 15 Jul 2008 22:37:55 +0200 wenzelm load thy_edit.ML before isar.ML;
Tue, 15 Jul 2008 19:39:37 +0200 wenzelm modernized specifications and proofs;
Tue, 15 Jul 2008 16:50:09 +0200 ballarin Removed uses of context element includes.
Tue, 15 Jul 2008 16:02:10 +0200 haftmann tuned
Tue, 15 Jul 2008 16:02:07 +0200 haftmann tuned code theorem bookkeeping
Tue, 15 Jul 2008 15:59:49 +0200 wenzelm tuned changelogentry;
Tue, 15 Jul 2008 15:46:43 +0200 wenzelm refined Output.status_fn: priority (only visible for non-empty output, e.g. via test_markup print mode);
Tue, 15 Jul 2008 15:46:41 +0200 wenzelm support for command status;
Tue, 15 Jul 2008 14:15:49 +0200 wenzelm added status channel;
Tue, 15 Jul 2008 14:15:43 +0200 wenzelm added status channel;
Tue, 15 Jul 2008 12:13:14 +0200 wenzelm tuned;
Tue, 15 Jul 2008 11:50:04 +0200 wenzelm simplified commit_exit;
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip