isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

tuned;
2014-01-22, by wenzelm
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, by wenzelm
clarified approximative syntax of thy_load commands: first name after command keyword, after cleaning wrt. tags and cmts;
2014-01-22, by wenzelm
Locales paper has appeared in print.
2014-01-22, by ballarin
tuned spelling;
2014-01-22, by wenzelm
removed junk;
2014-01-22, by wenzelm
merged
2014-01-22, by wenzelm
tuned;
2014-01-22, by wenzelm
prefer rail cartouche -- avoid back-slashed quotes;
2014-01-22, by wenzelm
tuned signature;
2014-01-22, by wenzelm
avoid breakdown of document preparation, which does not understand cartouche tokens yet;
2014-01-22, by wenzelm
more cartouche examples, including uniform nesting of sub-languages;
2014-01-22, by wenzelm
inner syntax token language allows regular quoted strings;
2014-01-22, by wenzelm
tuned signature;
2014-01-20, by wenzelm
tuned error messages, more accurate position;
2014-01-20, by wenzelm
tuned -- more direct err_prefix;
2014-01-20, by wenzelm
clarified scan_cartouche_depth, according to Scala version;
2014-01-20, by wenzelm
tuned errors;
2014-01-20, by wenzelm
whitespace tuning
2014-01-22, by blanchet
whitespace tuning
2014-01-22, by blanchet
made SML/NJ happier
2014-01-21, by blanchet
made SML/NJ happier
2014-01-21, by blanchet
updated NEWS
2014-01-21, by blanchet
merged
2014-01-21, by traytel
removed theory dependency of BNF_LFP on Datatype
2014-01-21, by traytel
made SML/NJ happier
2014-01-21, by blanchet
removed dependency on 'Datatype' structure
2014-01-21, by blanchet
made SML/NJ happier
2014-01-21, by blanchet
compile
2014-01-21, by traytel
compile
2014-01-21, by blanchet
technical import to avoid infamous 'duplicate Option.size' error at merge time in 'List.thy'
2014-01-20, by blanchet
swapped dependencies of 'Finite_Set' and 'Option' (to move BNF up)
2014-01-20, by blanchet
moved 'bacc' back to 'Enum' (cf. 744934b818c7) -- reduces baggage loaded by 'Hilbert_Choice'
2014-01-20, by blanchet
renamed 'regular' to 'regularCard' to avoid clashes (e.g. in Meson_Test)
2014-01-20, by blanchet
hide BNF notation
2014-01-20, by blanchet
moved 'fundef_cong' attribute (and other basic 'fun' stuff) up the dependency chain
2014-01-20, by blanchet
rationalized lemmas
2014-01-20, by blanchet
move BNF_LFP up the dependency chain
2014-01-20, by blanchet
compile
2014-01-20, by blanchet
updated docs
2014-01-20, by blanchet
have Nitpick lookup codatatypes
2014-01-20, by blanchet
removed dependency of BNF package on Nitpick
2014-01-20, by blanchet
deactivate one more cardinal notation
2014-01-20, by blanchet
fixed typo
2014-01-20, by blanchet
compile
2014-01-20, by blanchet
dissolved BNF session
2014-01-20, by blanchet
rationalized dependencies
2014-01-20, by blanchet
reduced dependencies + updated docs
2014-01-20, by blanchet
minimized Nitpick's dependencies
2014-01-20, by blanchet
moved BNF examples
2014-01-20, by blanchet
rationalized dependencies
2014-01-20, by blanchet
moved hide_const from BNF to Main
2014-01-20, by blanchet
updated README
2014-01-20, by blanchet
tuned names
2014-01-20, by blanchet
tuning
2014-01-20, by blanchet
compile
2014-01-20, by blanchet
killed obsolete session
2014-01-20, by blanchet
tuned comment
2014-01-20, by blanchet
made BNF compile after move to HOL
2014-01-20, by blanchet
adjusted comments
2014-01-20, by blanchet

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip

isabelle