isabelle: File revisions

doc-src/IsarRef/Thy/Inner_Syntax.thy

Tue, 03 May 2011 16:00:29 +0200	wenzelm	updated configuration options -- no ML here;	file \| diff \| annotate
Tue, 03 May 2011 15:07:36 +0200	wenzelm	formal Base theory;	file \| diff \| annotate
Mon, 02 May 2011 01:05:50 +0200	wenzelm	modernized rail diagrams using @{rail} antiquotation;	file \| diff \| annotate
Sat, 16 Apr 2011 13:48:45 +0200	wenzelm	Name_Space: proper configuration options long_names, short_names, unique_names instead of former unsynchronized references;	file \| diff \| annotate
Thu, 07 Apr 2011 21:23:57 +0200	wenzelm	constant =?= no longer exists (cf. 8c09e1fa24a7);	file \| diff \| annotate
Wed, 06 Apr 2011 13:33:46 +0200	wenzelm	typed_print_translation: discontinued show_sorts argument;	file \| diff \| annotate
Fri, 17 Dec 2010 17:43:54 +0100	wenzelm	replaced command 'nonterminals' by slightly modernized version 'nonterminal';	file \| diff \| annotate
Thu, 02 Dec 2010 16:52:52 +0100	wenzelm	configuration option "show_abbrevs" supersedes print mode "no_abbrevs", with inverted meaning;	file \| diff \| annotate

isabelle