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
Thu, 15 Mar 2012 22:20:07 +0100 more precise TPTP keywords and dependencies;
wenzelm [Thu, 15 Mar 2012 22:20:07 +0100] rev 46951
more precise TPTP keywords and dependencies;
Thu, 15 Mar 2012 22:08:53 +0100 declare command keywords via theory header, including strict checking outside Pure;
wenzelm [Thu, 15 Mar 2012 22:08:53 +0100] rev 46950
declare command keywords via theory header, including strict checking outside Pure;
Thu, 15 Mar 2012 20:07:00 +0100 prefer formally checked @{keyword} parser;
wenzelm [Thu, 15 Mar 2012 20:07:00 +0100] rev 46949
prefer formally checked @{keyword} parser;
Thu, 15 Mar 2012 19:48:19 +0100 added ML antiquotation @{keyword};
wenzelm [Thu, 15 Mar 2012 19:48:19 +0100] rev 46948
added ML antiquotation @{keyword};
Thu, 15 Mar 2012 19:02:34 +0100 declare minor keywords via theory header;
wenzelm [Thu, 15 Mar 2012 19:02:34 +0100] rev 46947
declare minor keywords via theory header;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip