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 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 tip

NEWS;
2017-12-14, by wenzelm
merged
2017-12-14, by wenzelm
purge more carefully (amending 26f548370e8d);
2017-12-13, by wenzelm
more error information according to @<Print type of token list@> in pdfweb.tex;
2017-12-13, by wenzelm
avoid redundant positions;
2017-12-13, by wenzelm
positions as postlude: avoid intrusion of odd %-forms into main tex source;
2017-12-13, by wenzelm
scan only one line, for more detailed positions;
2017-12-12, by wenzelm
purge more thoroughly;
2017-12-12, by wenzelm
option document_positions;
2017-12-12, by wenzelm
clarified file pattern;
2017-12-12, by wenzelm
ensure separation of TeX tokens;
2017-12-12, by wenzelm
simplified positions -- line is also human-readable in generated .tex file;
2017-12-12, by wenzelm
tuned message;
2017-12-12, by wenzelm
avoid excessive whitespace between antiquotations and text;
2017-12-12, by wenzelm
updated documentation;
2017-12-11, by wenzelm
more robust range on preceding comment-line;
2017-12-11, by wenzelm
proper file;
2017-12-11, by wenzelm
clarified file positions;
2017-12-11, by wenzelm
more operations;
2017-12-11, by wenzelm
tuned messages;
2017-12-10, by wenzelm
clean log file on Windows;
2017-12-10, by wenzelm
avoid println with its extra CR on Windows;
2017-12-10, by wenzelm
removed obsolete option (see 74a1b722507e);
2017-12-10, by wenzelm
re-implemented "isabelle document" in Isabelle/Scala, include latex_errors here;
2017-12-10, by wenzelm
removed Emacs legacy;
2017-12-10, by wenzelm
more robust Windows support;
2017-12-10, by wenzelm
more explicit latex errors;
2017-12-10, by wenzelm
some support for LaTeX;
2017-12-08, by wenzelm

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

isabelle