isabelle: File revisions

src/Doc/IsarRef/Proof.thy

Wed, 12 Mar 2014 17:02:05 +0100	wenzelm	more explicit markup and explanation of the improper status of 'back', following the AFP style-guide;	file \| diff \| annotate
Sun, 02 Mar 2014 19:00:45 +0100	wenzelm	clarified names of antiquotations and markup;	file \| diff \| annotate
Sat, 25 Jan 2014 22:06:07 +0100	wenzelm	explicit eigen-context for attributes "where", "of", and corresponding read_instantiate, instantiate_tac;	file \| diff \| annotate
Wed, 22 Jan 2014 17:02:05 +0100	wenzelm	prefer rail cartouche -- avoid back-slashed quotes;	file \| diff \| annotate
Fri, 17 Jan 2014 20:20:20 +0100	wenzelm	clarified @{rail} syntax: prefer explicit \<newline> symbol;	file \| diff \| annotate
Tue, 03 Sep 2013 11:58:34 +0200	wenzelm	more liberal 'case' syntax: allow parentheses without arguments;	file \| diff \| annotate
Tue, 13 Aug 2013 16:25:47 +0200	wenzelm	standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;	file \| diff \| annotate
Fri, 17 May 2013 20:41:45 +0200	wenzelm	proper option quick_and_dirty;	file \| diff \| annotate

isabelle