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

Isabelle fonts via external component;
2015-10-21, by wenzelm
tuned document;
2015-10-21, by wenzelm
tuned document;
2015-10-21, by wenzelm
added glyphs 0x25a9 from DejaVuSansMono;
2015-10-21, by wenzelm
removed generated files from repository;
2015-10-21, by wenzelm
tuned;
2015-10-21, by wenzelm
proper spaces around @{text};
2015-10-21, by wenzelm
isabelle update_cartouches -t;
2015-10-20, by wenzelm
added isabelle update_cartouches option -t;
2015-10-20, by wenzelm
another antiquotation short form: undecorated cartouche as alias for @{text};
2015-10-20, by wenzelm
repaired document;
2015-10-19, by wenzelm
more symbols;
2015-10-19, by wenzelm
tuned English;
2015-10-19, by wenzelm
more symbols, with swapped defaults: old-style ASCII syntax uses "ASCII" print mode;
2015-10-19, by wenzelm
tuned document;
2015-10-19, by wenzelm
merged
2015-10-19, by wenzelm
avoid odd permissions of fresh tmp_file;
2015-10-19, by wenzelm
added action "isabelle-emph";
2015-10-19, by wenzelm
tuned;
2015-10-19, by wenzelm
tuned;
2015-10-19, by wenzelm
tuned text
2015-10-19, by nipkow
tuned;
2015-10-18, by wenzelm
merged
2015-10-18, by wenzelm
more control symbols;
2015-10-18, by wenzelm
tuned signature;
2015-10-18, by wenzelm
tuned signature;
2015-10-18, by wenzelm
clarified;
2015-10-18, by wenzelm
clarified control antiquotations: decode control symbol to get name;
2015-10-18, by wenzelm
more documentation;
2015-10-18, by wenzelm
support control symbol antiquotations;
2015-10-18, by wenzelm
clarified Symbol.is_control;
2015-10-18, by wenzelm
added 2-3 trees (simpler and more complete than the version in ex/Tree23)
2015-10-18, by nipkow
code abbreviation for mapping over a fixed range
2015-10-17, by haftmann
back to lxbroy3, which appears to be free at the moment;
2015-10-17, by wenzelm
tuned signature;
2015-10-17, by wenzelm
merged
2015-10-17, by wenzelm
more uniform command setup;
2015-10-17, by wenzelm
added 'paragraph', 'subparagraph';
2015-10-17, by wenzelm
clarified Latex.environment;
2015-10-17, by wenzelm
more explicit output of list items;
2015-10-17, by wenzelm
tuned;
2015-10-17, by wenzelm
clarified nesting of paragraphs: indentation is taken into account more uniformly;
2015-10-17, by wenzelm
Markdown support in document text;
2015-10-16, by wenzelm
clarified Antiquote.antiq_reports;
2015-10-16, by wenzelm
trim_blanks after read, before eval;
2015-10-15, by wenzelm
clarified modules;
2015-10-15, by wenzelm
load markdown.ML into Pure;
2015-10-15, by wenzelm
proper recursive nesting of adjacent lists;
2015-10-15, by wenzelm
tuned;
2015-10-15, by wenzelm
clarified line content: source without marker prefix;
2015-10-15, by wenzelm
more markup;
2015-10-15, by wenzelm
report Markdown document structure;
2015-10-15, by wenzelm
more comments;
2015-10-15, by wenzelm
unused -- avoid confusion in Symbols dockable;
2015-10-15, by wenzelm
proper nesting of adjacent lists;
2015-10-15, by wenzelm
more document structure;
2015-10-15, by wenzelm
more document structure;
2015-10-14, by wenzelm
more document structure;
2015-10-14, by wenzelm
clarified;
2015-10-14, by wenzelm
minimal support for Markdown documents;
2015-10-14, by wenzelm

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

isabelle