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

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

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

isabelle