isabelle: Graph

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

proper check for imports, not just ROOT entries;
2017-12-28, by wenzelm
tuned signature;
2017-12-28, by wenzelm
implicit thy_load context for bibtex files (VSCode);
2017-12-28, by wenzelm
bibtex theory is always required and thus eventually consolidated;
2017-12-28, by wenzelm
implicit thy_load context for bibtex files;
2017-12-28, by wenzelm
clarified signature: prefer Document.Node.Name.is_bibtex;
2017-12-28, by wenzelm
avoid spurious noise: Prover IDE is meant to check for errors;
2017-12-28, by wenzelm
clarified signature;
2017-12-28, by wenzelm
avoid clash with special files in HTML output;
2017-12-28, by wenzelm
unused;
2017-12-28, by wenzelm
tuned signature;
2017-12-28, by wenzelm
prefer existing Resources.check_path;
2017-12-28, by wenzelm
more accurate bibtex entries;
2017-12-28, by wenzelm
added command 'bibtex_file' (for PIDE interaction only);
2017-12-28, by wenzelm
clarified default position for empty message pos;
2017-12-27, by wenzelm
spelling
2017-12-25, by haftmann
Removed Analysis/ex/Circle_Area; replaced by more general Analysis/Ball_Volume
2017-12-24, by eberlm
fewer warnings;
2017-12-24, by wenzelm
clarified positions;
2017-12-24, by wenzelm
check bibtex database on ML side -- for semantic PIDE editing;
2017-12-24, by wenzelm
clarified directories;
2017-12-24, by wenzelm
more robust connection: prefer ServerAliveCountMax=3 (ssh default) instead of 1 (jsch default);
2017-12-24, by wenzelm
check bibtex database: errors and warnings;
2017-12-23, by wenzelm
more symbols;
2017-12-23, by wenzelm
Merge
2017-12-22, by paulson
Merge
2017-12-22, by paulson
new/improved theories involving convergence; better pretty-printing for bounded quantifiers and sum/product
2017-12-22, by paulson
more symbols;
2017-12-22, by wenzelm
tuned;
2017-12-22, by wenzelm
store full blob source for the sake of markup_to_XML;
2017-12-22, by wenzelm
PIDE markup for non-theory nodes;
2017-12-22, by wenzelm
discontinued 'display_drafts' command;
2017-12-22, by wenzelm
action "isabelle.draft" for plain-text preview;
2017-12-22, by wenzelm
NEWS;
2017-12-22, by wenzelm
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
2017-12-22, by wenzelm
tuned;
2017-12-22, by wenzelm
clarified URL: unique node name;
2017-12-22, by wenzelm
clarified signature;
2017-12-22, by wenzelm
proper title;
2017-12-22, by wenzelm
HTML rendering of \<^control> as in Isabelle/jEdit;
2017-12-22, by wenzelm
auto update;
2017-12-22, by wenzelm
clarified modules;
2017-12-22, by wenzelm
proper HTML title;
2017-12-22, by wenzelm
tuned signature;
2017-12-22, by wenzelm
tuned output;
2017-12-21, by wenzelm
merged
2017-12-21, by wenzelm
isabelle.preview presents bibtex database files as well;
2017-12-21, by wenzelm
clarified signature;
2017-12-21, by wenzelm
isabelle.preview presents auxiliary text files as well;
2017-12-21, by wenzelm
tuned signature;
2017-12-21, by wenzelm
tuned signature;
2017-12-21, by wenzelm
bibtex HTML output via external tool;
2017-12-21, by wenzelm
merged
2017-12-21, by nipkow
tuned op's
2017-12-21, by nipkow
tuned op's
2017-12-21, by nipkow
tuned op's
2017-12-21, by nipkow
tuned op's
2017-12-21, by nipkow
tuned op's
2017-12-21, by nipkow
tuned op's
2017-12-21, by nipkow
tuned;
2017-12-21, by wenzelm
Some lemmas on complex numbers and coprimality
2017-12-21, by eberlm
merged
2017-12-20, by nipkow
tuned op's
2017-12-20, by nipkow
tuned op's
2017-12-20, by nipkow
tuned op's
2017-12-20, by nipkow
tuned op's
2017-12-20, by nipkow
tuned op's
2017-12-20, by nipkow
updated URL;
2017-12-20, by wenzelm
isabelle update_cartouches -c -t;
2017-12-19, by wenzelm
have 'try0' display results faster
2017-12-19, by blanchet
a conditional paramitrecity prover
2017-12-18, by traytel
removed debug output
2017-12-18, by traytel
made tactics more robust
2017-12-17, by traytel
tuned;
2017-12-16, by wenzelm
more markup;
2017-12-16, by wenzelm
added document antiquotation @{session name};
2017-12-16, by wenzelm
more accurate parse_nat/parse_int: avoid corner cases of Int.fromString (e.g. "1.0");
2017-12-16, by wenzelm
tuned;
2017-12-16, by wenzelm
disallow theory name "ROOT";
2017-12-16, by wenzelm
PIDE markup for session ROOT files;
2017-12-16, by wenzelm
tuned;
2017-12-16, by wenzelm
more operations;
2017-12-16, by wenzelm
tuned;
2017-12-16, by wenzelm
recovered Options.default_markup, e.g. for src/Doc/antiquote_setup.ML (amending 16519cd83ed4);
2017-12-16, by wenzelm
tuned;
2017-12-16, by wenzelm
clarified signature;
2017-12-16, by wenzelm
clarified signature;
2017-12-16, by wenzelm
dedicated case option for code generation to Scala
2017-12-14, by haftmann
minor performance tuning, notably for Library.fold_string etc.;
2017-12-14, by wenzelm
clarified file name;
2017-12-14, by wenzelm
purge log files -- avoid old errors;
2017-12-14, by wenzelm
expose bibtex errors;
2017-12-14, by wenzelm
proper exception;
2017-12-14, by wenzelm
proper \isakeeptag (amending 13b5c3ff1954);
2017-12-14, by wenzelm
tuned;
2017-12-14, by wenzelm
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