2014-01-26 wenzelm 2014-01-26 discontinued obsolete attribute "standard";
2014-01-26 wenzelm 2014-01-26 tuned signature;
2014-01-25 haftmann 2014-01-25 less clumsy namespace
2014-01-25 haftmann 2014-01-25 immediate "activation" of const syntax at declaration time
2014-01-25 haftmann 2014-01-25 avoid (now superfluous) indirect passing of constant names
2014-01-25 haftmann 2014-01-25 prefer explicit code symbol type over ad-hoc name mangling
2014-01-25 haftmann 2014-01-25 more abstract syntax passing
2014-01-25 haftmann 2014-01-25 more abstract declaration of unqualified constant names in code printing context
2014-01-25 wenzelm 2014-01-25 merged
2014-01-25 wenzelm 2014-01-25 explicit eigen-context for attributes "where", "of", and corresponding read_instantiate, instantiate_tac;
2014-01-25 wenzelm 2014-01-25 prefer explicit 'for' context;
2014-01-25 wenzelm 2014-01-25 prefer self-contained user-space tool;
2014-01-25 wenzelm 2014-01-25 define basic attributes in user-space Pure.thy -- which provides better hyperlinks and may serve as example;
2014-01-25 wenzelm 2014-01-25 NEWS for 31afce809794;
2014-01-25 wenzelm 2014-01-25 reverted cb17feba74e0, avoid sweeping garbage under the carped (MaSh should not create .pyc files anymore, see also 778b2b8f4a35, 347f743e8336);
2014-01-25 wenzelm 2014-01-25 semicolon is minor keyword (see also 29f1e53f9937);
2014-01-25 wenzelm 2014-01-25 tuned proof;
2014-01-25 wenzelm 2014-01-25 more user aliases;
2014-01-25 wenzelm 2014-01-25 propagate update of outer syntax keywords: global propertiesChanged, buffer TokenMarker.markTokens, text area repainting;
2014-01-25 wenzelm 2014-01-25 simplified inner syntax;
2014-01-25 nipkow 2014-01-25 added lemma
2014-01-24 paulson 2014-01-24 Merge
2014-01-24 paulson 2014-01-24 Restored Suc rather than +1, and using Library/Binimial
2014-01-24 blanchet 2014-01-24 killed 'More_BNFs' by moving its various bits where they (now) belong
2014-01-23 blanchet 2014-01-23 hide 'csum' etc.
2014-01-23 nipkow 2014-01-23 installed by Johannes in Extended now
2014-01-23 nipkow 2014-01-23 merged
2014-01-23 nipkow 2014-01-23 hide Fin in output of value via postprocessor; no hinding needed elsewhere
2014-01-23 hoelzl 2014-01-23 hide extended.Fin in code generator output
2014-01-23 wenzelm 2014-01-23 no document for Cartouche_Examples: avoid problems typesetting "\001";
2014-01-22 wenzelm 2014-01-22 NEWS;
2014-01-22 wenzelm 2014-01-22 merged
2014-01-22 wenzelm 2014-01-22 tuned;
2014-01-22 wenzelm 2014-01-22 observe local syntax mode (according to e3a39dae2004, which was lost in 0f3ad56548bc), e.g. relevant for "abbreviation (output)" with non-terminating syntax;
2014-01-22 wenzelm 2014-01-22 clarified approximative syntax of thy_load commands: first name after command keyword, after cleaning wrt. tags and cmts;
2014-01-22 ballarin 2014-01-22 Locales paper has appeared in print.
2014-01-22 wenzelm 2014-01-22 tuned spelling;
2014-01-22 wenzelm 2014-01-22 removed junk;
2014-01-22 wenzelm 2014-01-22 merged
2014-01-22 wenzelm 2014-01-22 tuned;
2014-01-22 wenzelm 2014-01-22 prefer rail cartouche -- avoid back-slashed quotes; proper documentation of \<newline> syntax;
2014-01-22 wenzelm 2014-01-22 tuned signature;
2014-01-22 wenzelm 2014-01-22 avoid breakdown of document preparation, which does not understand cartouche tokens yet;
2014-01-22 wenzelm 2014-01-22 more cartouche examples, including uniform nesting of sub-languages;
2014-01-22 wenzelm 2014-01-22 inner syntax token language allows regular quoted strings; tuned signature;
2014-01-20 wenzelm 2014-01-20 tuned signature;
2014-01-20 wenzelm 2014-01-20 tuned error messages, more accurate position;
2014-01-20 wenzelm 2014-01-20 tuned -- more direct err_prefix;
2014-01-20 wenzelm 2014-01-20 clarified scan_cartouche_depth, according to Scala version; more accurate error position;
2014-01-20 wenzelm 2014-01-20 tuned errors;
2014-01-22 blanchet 2014-01-22 whitespace tuning
2014-01-22 blanchet 2014-01-22 whitespace tuning
2014-01-21 blanchet 2014-01-21 made SML/NJ happier
2014-01-21 blanchet 2014-01-21 made SML/NJ happier
2014-01-21 blanchet 2014-01-21 updated NEWS
2014-01-21 traytel 2014-01-21 merged
2014-01-21 traytel 2014-01-21 removed theory dependency of BNF_LFP on Datatype
2014-01-21 blanchet 2014-01-21 made SML/NJ happier
2014-01-21 blanchet 2014-01-21 removed dependency on 'Datatype' structure
2014-01-21 blanchet 2014-01-21 made SML/NJ happier