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 tip

proper Envir.subst operations: env is already normalized, using Envir.norm may lead to non-termination;
2022-09-05, by wenzelm
unused (see 15758fced053);
2022-09-05, by wenzelm
clarified modules;
2022-09-05, by wenzelm
show goal instantiation, notably for 'schematic_goal' command (inactive by default);
2022-09-05, by wenzelm
proper umlauts;
2022-09-05, by wenzelm
tuned signature;
2022-09-05, by wenzelm
tuned signature;
2022-09-05, by wenzelm
tuned;
2022-09-05, by wenzelm
tuned;
2022-09-05, by wenzelm
tuned error message;
2022-09-05, by wenzelm
merged
2022-09-07, by desharna
merged
2022-09-02, by desharna
moved antimono to Fun and redefined it as an abbreviation
2022-06-25, by desharna
moved mono and strict_mono to Fun and redefined them as abbreviations
2022-06-25, by desharna
clarified generic euclidean relation
2022-09-05, by haftmann
added a bound in SMT on the number of schematic constants considered -- the code (in for_schematics) is exponential in that number
2022-09-05, by blanchet
tuned signature;
2022-09-03, by wenzelm
check imports more strictly, e.g. reject ".../Pure" or ".../HOL-Library.Multiset";
2022-09-03, by wenzelm
tuned signature;
2022-09-03, by wenzelm
tuned --- more robust syntax;
2022-09-03, by wenzelm
tuned signature;
2022-09-03, by wenzelm
back to more traditional import_name (reverting cceb10dcc9f9), e.g. relevant for "isabelle jedit -l CTT src/CTT/ex/Elimination.thy" to produce proper error "Cannot update finished theory CTT.Elimination";
2022-09-03, by wenzelm
unused (see 347ed6219dab);
2022-09-03, by wenzelm
tuned signature;
2022-09-03, by wenzelm
more CONTRIBUTORS + NEWS;
2022-09-02, by wenzelm
tuned;
2022-09-02, by wenzelm
proper description;
2022-09-02, by wenzelm
tuned whitespace;
2022-09-02, by wenzelm
option "sort_updates" for record update simproc. Make proper record simproc definitions.
2022-03-07, by Norbert Schirmer
Merge
2022-09-01, by paulson
Three new theorems about real polynomial functions
2022-09-01, by paulson
tuned GUI;
2022-09-01, by wenzelm
tuned;
2022-09-01, by wenzelm
clarified GUI behaviour;
2022-09-01, by wenzelm
eliminated odd Unicode blanks;
2022-08-31, by wenzelm
tuned whitespace;
2022-08-31, by wenzelm
eliminated DOS line endings;
2022-08-31, by wenzelm
eliminated tabs, assuming tab-width=8;
2022-08-31, by wenzelm
eliminated tabs, assuming tab-width=4;
2022-08-31, by wenzelm
updated to current Cygwin, near 3.3.5-1;
2022-08-31, by wenzelm
test macOS 12 Monterey via laramac01;
2022-08-31, by wenzelm
clarified GUI update;
2022-08-31, by wenzelm
clarified signature;
2022-08-31, by wenzelm
tuned signature;
2022-08-31, by wenzelm
more GUI functionality;
2022-08-31, by wenzelm
clarified signature;
2022-08-31, by wenzelm
clarified component structure, concerning initialization order;
2022-08-30, by wenzelm
update VSCodium 1.65.2 ~> 1.70.1, Electron 13.5.2 ~> 18.3.5, Node.js v14.16.0 ~> v16.13.2;
2022-08-29, by wenzelm
provide cvc5-1.0.2 (inactive);
2022-08-29, by wenzelm
tuned output;
2022-08-29, by wenzelm
tool to build Isabelle component for cvc5;
2022-08-29, by wenzelm
tuned: avoid odd stateful programming;
2022-08-29, by wenzelm
more markup (for batch build);
2022-08-28, by wenzelm
tuned;
2022-08-28, by wenzelm
tuned;
2022-08-28, by wenzelm
tuned;
2022-08-28, by wenzelm
more NEWS;
2022-08-28, by wenzelm
updated some links;
2022-08-28, by wenzelm
more links, for files that formally belong to this session;
2022-08-28, by wenzelm
more links;
2022-08-28, by wenzelm

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

isabelle