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

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

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

isabelle