Fri, 16 Mar 2012 18:20:12 +0100 outer syntax command definitions based on formal command_spec derived from theory header declarations;
wenzelm [Fri, 16 Mar 2012 18:20:12 +0100] rev 46961
outer syntax command definitions based on formal command_spec derived from theory header declarations;
Fri, 16 Mar 2012 14:46:13 +0100 refute_params are given in *this* theory;
wenzelm [Fri, 16 Mar 2012 14:46:13 +0100] rev 46960
refute_params are given in *this* theory;
Fri, 16 Mar 2012 14:42:11 +0100 defer actual parsing of command spans and thus allow new commands to be used in the same theory where defined;
wenzelm [Fri, 16 Mar 2012 14:42:11 +0100] rev 46959
defer actual parsing of command spans and thus allow new commands to be used in the same theory where defined;
Fri, 16 Mar 2012 13:05:30 +0100 define keywords early when processing the theory header, before running the body commands;
wenzelm [Fri, 16 Mar 2012 13:05:30 +0100] rev 46958
define keywords early when processing the theory header, before running the body commands;
Fri, 16 Mar 2012 11:26:55 +0100 clarified Keyword.is_keyword: union of minor and major;
wenzelm [Fri, 16 Mar 2012 11:26:55 +0100] rev 46957
clarified Keyword.is_keyword: union of minor and major; misc tuning and simplification;
Thu, 15 Mar 2012 23:06:22 +0100 Isabelle/jEdit supports user-defined Isar commands within the running session;
wenzelm [Thu, 15 Mar 2012 23:06:22 +0100] rev 46956
Isabelle/jEdit supports user-defined Isar commands within the running session;
Thu, 15 Mar 2012 22:21:28 +0100 merged
wenzelm [Thu, 15 Mar 2012 22:21:28 +0100] rev 46955
merged
Thu, 15 Mar 2012 17:38:05 +0000 beautification and structured proofs
paulson [Thu, 15 Mar 2012 17:38:05 +0000] rev 46954
beautification and structured proofs
Thu, 15 Mar 2012 16:35:02 +0000 replacing ":" by "\<in>"
paulson [Thu, 15 Mar 2012 16:35:02 +0000] rev 46953
replacing ":" by "\<in>"
Thu, 15 Mar 2012 15:54:22 +0000 Rewrote some induction proofs to be structured
paulson [Thu, 15 Mar 2012 15:54:22 +0000] rev 46952
Rewrote some induction proofs to be structured
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip