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 tip

clarified markup (refining 1c59b555ac4a);
18 months ago, by wenzelm
clarified markup: support more completion, e.g. within ROOTS;
18 months ago, by wenzelm
more accurate markup (refining 1c59b555ac4a);
18 months ago, by wenzelm
tuned signature --- more operations;
18 months ago, by wenzelm
clarified File_Format.detect: needs to operate on full node name;
18 months ago, by wenzelm
more accurate syntax, following Sessions.parse_roots in Scala;
18 months ago, by wenzelm
PIDE support for session ROOTS;
18 months ago, by wenzelm
more robust;
18 months ago, by wenzelm
more Unicode;
18 months ago, by wenzelm
eliminated odd "Read_me";
18 months ago, by wenzelm
eliminated odd "Read_me";
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
silently ignore markup that starts out as singularity, e.g. <language/> from empty ML file;
18 months ago, by wenzelm
moved some lemmas from AFP to distribution
18 months ago, by haftmann
avoid duplicate entries: snippet_command is defined within node;
18 months ago, by wenzelm
merged
18 months ago, by wenzelm
proper span position for blobs in batch-build (but: practically irrelevant);
18 months ago, by wenzelm
proper treatment of singleton Position.Offset within blob (amending cb9d5af781b4);
18 months ago, by wenzelm
more robust batch-build;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
tuned signature;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
clarified signature;
18 months ago, by wenzelm
clarified signature, notably access to blob files;
18 months ago, by wenzelm
support for PIDE markup for auxiliary files ("blobs");
18 months ago, by wenzelm
tuned;
18 months ago, by wenzelm
clarified signature --- more explicit types;
18 months ago, by wenzelm
merged
18 months ago, by Peter Lammich
removed session name
18 months ago, by Peter Lammich
merged
18 months ago, by nipkow
NEWS
18 months ago, by nipkow
merged
18 months ago, by Peter Lammich
summarized structural and ordering invariant for trees
18 months ago, by Peter Lammich
Total correctness examples by Walter Guttmann
18 months ago, by nipkow
Extension of session HOL/Hoare with total correctness proof system by Walter Guttmann
18 months ago, by nipkow
tuned
18 months ago, by nipkow
Highlight that 'intro_locales' and 'trace_locales' are useful debug features, plus minor clarifications.
18 months ago, by ballarin
merged
18 months ago, by nipkow
added abbrev
18 months ago, by nipkow
merged
19 months ago, by wenzelm
clarified signature --- more positions;
19 months ago, by wenzelm
clarified signature;
19 months ago, by wenzelm
tuned proof preplay to explicitly refer to Z3 backend
19 months ago, by desharna
A bunch of suggestions from Pedro Sánchez Terraf
19 months ago, by paulson
merged
19 months ago, by paulson
merged
19 months ago, by paulson
tweaked
19 months ago, by paulson
obsolete -- done by Isabelle/PIDE/ML;
19 months ago, by wenzelm
tuned whitespace --- avoid TABs;
19 months ago, by wenzelm
updated to Haskell stack-2.5.1, stackage lts-16.12, ghc-8.8.4;
19 months ago, by wenzelm
updated to postgresql-42.2.18;
19 months ago, by wenzelm
updated to jfreechart-1.5.1;
19 months ago, by wenzelm
updated to current cygwin-20201130, after 3.1.7-1 from 24-Aug-2020;
19 months ago, by wenzelm
Added tag Isabelle2021-RC0 for changeset 21ff9c1a4644
19 months ago, by wenzelm
more Isabelle fonts, notably for PanelWindowContainer buttons with Windows L&F;
19 months ago, by wenzelm
merged
19 months ago, by wenzelm
Path.implode_symbolic as in ML;
19 months ago, by wenzelm

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

isabelle