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
2014-01-21 traytel 2014-01-21 compile
2014-01-21 blanchet 2014-01-21 compile
2014-01-20 blanchet 2014-01-20 technical import to avoid infamous 'duplicate Option.size' error at merge time in 'List.thy'
2014-01-20 blanchet 2014-01-20 swapped dependencies of 'Finite_Set' and 'Option' (to move BNF up)
2014-01-20 blanchet 2014-01-20 moved 'bacc' back to 'Enum' (cf. 744934b818c7) -- reduces baggage loaded by 'Hilbert_Choice'
2014-01-20 blanchet 2014-01-20 renamed 'regular' to 'regularCard' to avoid clashes (e.g. in Meson_Test)
2014-01-20 blanchet 2014-01-20 hide BNF notation
2014-01-20 blanchet 2014-01-20 moved 'fundef_cong' attribute (and other basic 'fun' stuff) up the dependency chain
2014-01-20 blanchet 2014-01-20 rationalized lemmas
2014-01-20 blanchet 2014-01-20 move BNF_LFP up the dependency chain
2014-01-20 blanchet 2014-01-20 compile
2014-01-20 blanchet 2014-01-20 updated docs
2014-01-20 blanchet 2014-01-20 have Nitpick lookup codatatypes
2014-01-20 blanchet 2014-01-20 removed dependency of BNF package on Nitpick
2014-01-20 blanchet 2014-01-20 deactivate one more cardinal notation
2014-01-20 blanchet 2014-01-20 fixed typo
2014-01-20 blanchet 2014-01-20 compile
2014-01-20 blanchet 2014-01-20 dissolved BNF session
2014-01-20 blanchet 2014-01-20 rationalized dependencies
2014-01-20 blanchet 2014-01-20 reduced dependencies + updated docs
2014-01-20 blanchet 2014-01-20 minimized Nitpick's dependencies
2014-01-20 blanchet 2014-01-20 moved BNF examples
2014-01-20 blanchet 2014-01-20 rationalized dependencies