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 tip

store the {l,g}fp-definition and the monotonicity theorem for inductive predicates (by Jan van Brügge)
16 hours ago, by traytel
make the definition of BNF bounds more easily accessible (by Jan van Brügge)
16 hours ago, by traytel
avoid theorem name clash (by Jan van Brügge)
16 hours ago, by traytel
introduce fewer constants in copy_bnf/lift_bnf (by Jan van Brügge)
16 hours ago, by traytel
Some work on an ancient theory file. And a weird failure in Float.thy
30 hours ago, by paulson
simplified old proofs
31 hours ago, by paulson
polished messy proofs
34 hours ago, by paulson
moved lemmas to book
2 days ago, by nipkow
merged
3 days ago, by wenzelm
tuned messages: more verbosity;
3 days ago, by wenzelm
more explicit default_port;
3 days ago, by wenzelm
tuned messages;
3 days ago, by wenzelm
tuned;
3 days ago, by wenzelm
proper initialization of settings: avoid accidental intrusion from parent process environment;
3 days ago, by wenzelm
clarified solr_data directory, provided via settings;
3 days ago, by wenzelm
explicit settings FIND_FACTS_WEB and option -w, outside of source (immutable) directory;
3 days ago, by wenzelm
tuned message;
3 days ago, by wenzelm
implicit session build, similar to "isabelle export";
3 days ago, by wenzelm
tuned message;
3 days ago, by wenzelm
proper Console_Progress as for other command-line tools;
3 days ago, by wenzelm
tuned messages: more formal;
3 days ago, by wenzelm
clarified signature: progress is usually optional;
3 days ago, by wenzelm
clarified names: "peek" usually refers to evolving mutable state;
3 days ago, by wenzelm
more to check;
3 days ago, by wenzelm
tuned: avoid "open" in ML and "import _" in Scala;
3 days ago, by wenzelm
tuned messages;
3 days ago, by wenzelm
tuned headers;
3 days ago, by wenzelm
more to check;
3 days ago, by wenzelm
clarified names;
3 days ago, by wenzelm
clarified signature and modules;
3 days ago, by wenzelm
tuned;
3 days ago, by wenzelm
avoid conflict with slf4j from sqlite (see also dcddfe4f43a3), notably this message on "isabelle find_facts":
3 days ago, by wenzelm
misc tuning;
3 days ago, by wenzelm
tuned: fewer warnings in IntelliJ IDEA;
3 days ago, by wenzelm
tuned headers;
3 days ago, by wenzelm
tuned headers;
3 days ago, by wenzelm
more NEWS + CONTRIBUTORS;
3 days ago, by wenzelm
tuned comments;
3 days ago, by wenzelm
tool wrappers with specific java options, notably classpath "$SOLR_JARS";
4 days ago, by wenzelm
clarified options;
4 days ago, by wenzelm
proper component src/Tools/Find_Facts;
4 days ago, by wenzelm
components for find_facts;
4 days ago, by wenzelm
suppress duplicate slf4j-api --- already provided by sqlite;
4 days ago, by wenzelm
clarified solr settings;
4 days ago, by wenzelm
proper platform.exe;
4 days ago, by wenzelm
activate admin tools;
4 days ago, by wenzelm
original sources of find-facts 271b5af0c4c8;
4 days ago, by wenzelm
Simplified a lot of messy proofs
3 days ago, by paulson
compatibility with Scala 3
5 days ago, by haftmann
more correct code generation for string literals
5 days ago, by haftmann
made lemma visible
5 days ago, by nipkow
fixed a typo
5 days ago, by paulson
Correction to pretty printing for set intervals, allowing a line break if necessary for a large expression
5 days ago, by paulson
tuned documentation and order of instantiated facts
6 days ago, by Lukas Bartl
merged
6 days ago, by wenzelm
update cygwin near 3.5.5-1, see also https://cygwin.com/pipermail/cygwin-announce/2024-December/012023.html
6 days ago, by wenzelm
direct symbolic implementations of and, or, xor on integer
6 days ago, by haftmann
corrected
6 days ago, by haftmann
merged
7 days ago, by wenzelm
remove special cases for CVC4 that are actually unused (see also 6273d4c8325b and 1f1c5d85d232);
7 days ago, by wenzelm

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

isabelle