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

follow Phabricator update 2020 Week 42;
16 months ago, by wenzelm
updated for release;
16 months ago, by wenzelm
tuned;
16 months ago, by wenzelm
proper NEWS according to current situation;
16 months ago, by wenzelm
updated for release;
16 months ago, by wenzelm
tuned (see also b5333fc056da);
16 months ago, by wenzelm
A few more simprules for iff-reasoning
16 months ago, by paulson
infinite products iff simprule
16 months ago, by paulson
merged
17 months ago, by paulson
merged
17 months ago, by paulson
Two biconditional simprules for summable
17 months ago, by paulson
updated to sqlite-jdbc-3.34.0, with support for native arm64-darwin;
17 months ago, by wenzelm
support ISABELLE_APPLE_PLATFORM64 (Apple Silicon);
17 months ago, by wenzelm
more robust: clarified error when merging Hoare_Logic + Hoare_Logic_Abort;
17 months ago, by wenzelm
more robust components_base: avoid fragile directory links on Windows (or Cygwin);
17 months ago, by wenzelm
more NEWS;
17 months ago, by wenzelm
merged
17 months ago, by wenzelm
avoid memory problems on test machine;
17 months ago, by wenzelm
more robust defaults: spurious problems with parallel invocations and interrupts;
17 months ago, by wenzelm
more interrupts;
17 months ago, by wenzelm
avoid multiple uses of the same ML file;
17 months ago, by wenzelm
tuned document, notably authors and sections;
17 months ago, by wenzelm
clarified presentation of files for each theory;
17 months ago, by wenzelm
disable auto_nitpick for now: spurious problems with non-termination e.g. in HOL-Hoare examples;
17 months ago, by wenzelm
clarified modules: avoid multiple uses of the same ML file;
17 months ago, by wenzelm
clarified session: avoid merge of different syntax from different Hoare logics;
17 months ago, by wenzelm
clarified modules: avoid multiple uses of the same ML file;
17 months ago, by wenzelm
clarified syntax modes, avoid obsolete "xsymbols";
17 months ago, by wenzelm
clarified fonts, notably for Windows L&F;
17 months ago, by wenzelm
support jdk-15;
17 months ago, by wenzelm
more friendly desktop application on macOS;
17 months ago, by wenzelm
default simprule for geometric series
17 months ago, by paulson
tuned
17 months ago, by nipkow
less aggressive auto-build: avoid change of running jar;
17 months ago, by wenzelm
clarified window size;
17 months ago, by wenzelm
more robust Java monitor: avoid odd warning about insecure connection;
17 months ago, by wenzelm
tuned signature;
17 months ago, by wenzelm
clarified modules;
17 months ago, by wenzelm
clarified modules;
17 months ago, by wenzelm
misc tuning for release;
17 months ago, by wenzelm
rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer;
17 months ago, by wenzelm
sort lines;
17 months ago, by wenzelm
provide zipperposition-2.0 for experimentation;
17 months ago, by wenzelm
merged
17 months ago, by desharna
tweaked tptp parsing when source info is missing
17 months ago, by desharna
tuned comments;
17 months ago, by wenzelm
merged
17 months ago, by wenzelm
proper relative path;
17 months ago, by wenzelm
unused;
17 months ago, by wenzelm
present auxiliary files with PIDE markup;
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
tuned;
17 months ago, by wenzelm
tuned signature: more explicit types;
17 months ago, by wenzelm
tuned signature;
17 months ago, by wenzelm
clarified signature and module structure;
17 months ago, by wenzelm
tuned signature;
17 months ago, by wenzelm
clarified comments: file-system access is always unsynchronized;
17 months ago, by wenzelm
more precise simpset for method unat_arith
17 months ago, by haftmann
clarified scope of concept
17 months ago, by haftmann
clarified name
17 months ago, by haftmann

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

isabelle