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

tuned;
2020-01-13, by wenzelm
clarified output channel;
2020-01-13, by wenzelm
clarified option -f: avoid accidental target_clean for proper release snapshot;
2020-01-13, by wenzelm
more robust;
2020-01-12, by wenzelm
updated to sqlite-jdbc-3.30.1;
2020-01-12, by wenzelm
updated to postgresql-42.2.9;
2020-01-12, by wenzelm
build in $ISABELLE_HOME;
2020-01-12, by wenzelm
build in $ISABELLE_HOME;
2020-01-12, by wenzelm
clarified fresh build;
2020-01-11, by wenzelm
tuned documentation;
2020-01-11, by wenzelm
tuned;
2020-01-11, by wenzelm
clarified script name;
2020-01-10, by wenzelm
prefer mercurial-2.8.2 for more robustness (i.e. the version used by the hosting service https://admin.phacility.com);
2020-01-10, by wenzelm
proper name;
2020-01-09, by wenzelm
more Isabelle fonts, notably for File Browser title in GTK L&F;
2020-01-09, by wenzelm
eliminated deprecated scala.collection.JavaConversions;
2020-01-09, by wenzelm
unused;
2020-01-09, by wenzelm
tuned -- more direct java.util.Map.of;
2020-01-09, by wenzelm
added lemma
2020-01-09, by nipkow
merged
2020-01-07, by traytel
eliminated one redundant proof obligation in lift_bnf for quotients
2020-01-07, by traytel
removed experimental option to SPASS
2020-01-07, by blanchet
alternative deletion in Red-Black trees
2020-01-07, by nipkow
generalized thm (as suggested by Christian Weinz)
2020-01-07, by nipkow
tunded
2020-01-07, by nipkow
tuned
2019-12-28, by nipkow
tuned
2019-12-28, by nipkow
more examples;
2019-12-27, by wenzelm
tuned
2019-12-27, by nipkow
tuned
2019-12-24, by nipkow
tuned;
2019-12-23, by wenzelm
NEWS;
2019-12-23, by wenzelm
updated platform situation: 32bit variants are marginal or absent;
2019-12-23, by wenzelm
repackage as csdp-6.1-1, with proper platform names;
2019-12-23, by wenzelm
proper File.platform_path for Windows;
2019-12-23, by wenzelm
updated csdp-6.1: Linux and Windows executables are as before, but macOS has been rebuilt for x86_64 (to accommodate Catalina);
2019-12-23, by wenzelm
updated linux_app-20191223: x86_64-linux;
2019-12-23, by wenzelm
tuned;
2019-12-22, by wenzelm
improved Markdown-like display in Phabricator;
2019-12-22, by wenzelm
improved Markdown-like display in Phabricator;
2019-12-22, by wenzelm
somewhat irrelevant -- defaults are OK;
2019-12-22, by wenzelm
obsolete;
2019-12-22, by wenzelm
clarified signature -- more operations;
2019-12-21, by wenzelm
clarified signature;
2019-12-21, by wenzelm
proper search with multiple "pages" of results;
2019-12-21, by wenzelm
tuned documentation;
2019-12-20, by wenzelm
tuned messages;
2019-12-20, by wenzelm
more robust;
2019-12-19, by wenzelm
tuned message;
2019-12-19, by wenzelm
NEWS;
2019-12-19, by wenzelm
more documentation;
2019-12-19, by wenzelm
tuned documentation;
2019-12-19, by wenzelm
more documentation;
2019-12-19, by wenzelm
added option -r: support more robust consolidation of local clones with varying names;
2019-12-19, by wenzelm
clarified backup;
2019-12-19, by wenzelm
removed somewhat pointless option -R: more careful inspection of hgrc is required in practice;
2019-12-19, by wenzelm
proper proof body context for Simplifier plugins (solvers, loopers, ...) -- avoid crash due to Subgoal.FOCUS (before e58bc223f46c);
2019-12-19, by wenzelm
more robust bound_fixes: external name does appear in "fixes" name space and could clash with direct fixes (e.g. via Subgoal.FOCUS within a global context);
2019-12-19, by wenzelm
tuned signature;
2019-12-19, by wenzelm
proper backup;
2019-12-18, by wenzelm

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

isabelle