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;
Tue, 15 Jul 2008 11:50:03 +0200 wenzelm simplified commit_exit: operate on previous node of final state, include warning here;
Tue, 15 Jul 2008 11:50:02 +0200 wenzelm removed obsolete commit_exit;
Tue, 15 Jul 2008 11:02:43 +0200 wenzelm added command 'linear_undo';
Tue, 15 Jul 2008 10:59:14 +0200 wenzelm removed command 'redo';
Tue, 15 Jul 2008 10:49:39 +0200 wenzelm adapted ThyInfo.end_theory;
Tue, 15 Jul 2008 09:30:39 +0200 haftmann dropped map; fixed swap
Tue, 15 Jul 2008 07:10:50 +0200 haftmann curried gcd
Mon, 14 Jul 2008 23:28:26 +0200 wenzelm cover macbroy as well;
Mon, 14 Jul 2008 23:11:20 +0200 wenzelm tuned filelogentry;
Mon, 14 Jul 2008 22:55:48 +0200 wenzelm print_mode "test_markup": do not change prompt, otherwise Proof General will not work;
Mon, 14 Jul 2008 22:26:53 +0200 wenzelm tuned message;
Mon, 14 Jul 2008 22:09:08 +0200 wenzelm updated generated file;
Mon, 14 Jul 2008 21:39:08 +0200 wenzelm inform_file_processed: Isar.init_point last!
Mon, 14 Jul 2008 21:07:57 +0200 wenzelm removed HOL-Complex, which has been discontinued after Isabelle2008;
Mon, 14 Jul 2008 19:59:58 +0200 wenzelm added HOL-Nominal image;
Mon, 14 Jul 2008 19:57:14 +0200 wenzelm removed obsolete Pure/General/history.ML;
Mon, 14 Jul 2008 19:57:13 +0200 wenzelm inform_file_processed: try harder not to fail, ensure
Mon, 14 Jul 2008 19:57:11 +0200 wenzelm commit_exit: proper error;
Mon, 14 Jul 2008 19:57:09 +0200 wenzelm export EXCURSION_FAIL;
Mon, 14 Jul 2008 19:20:57 +0200 haftmann dropped junk
Mon, 14 Jul 2008 19:20:29 +0200 haftmann moved bootstrap of simplifier
Mon, 14 Jul 2008 19:20:28 +0200 haftmann tuned
Mon, 14 Jul 2008 17:51:48 +0200 wenzelm end_theory: no result;
Mon, 14 Jul 2008 17:51:47 +0200 wenzelm removed obsolete Toplevel.RESTART;
Mon, 14 Jul 2008 17:51:44 +0200 wenzelm proper_inform_file_processed: new implementation based on global Isar state (cf. isar.ML);
Mon, 14 Jul 2008 17:51:43 +0200 wenzelm eliminated internal command history -- superceeded by global Isar state (cf. isar.ML);
Mon, 14 Jul 2008 17:51:42 +0200 wenzelm adapted IsarCmd.init_theory;
Mon, 14 Jul 2008 17:51:41 +0200 wenzelm renamed theory to init_theory, removed obsolete kill argument;
Mon, 14 Jul 2008 17:51:39 +0200 wenzelm added commit_exit;
Mon, 14 Jul 2008 17:47:18 +0200 krauss single_hyp(_meta)_subst_tac: Controlled substitution of a single hyp
Mon, 14 Jul 2008 17:02:55 +0200 krauss renamed conversions to _conv, tuned
Mon, 14 Jul 2008 16:13:58 +0200 chaieb Simplified proofs
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip