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 -16 +16 +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

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

isabelle