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 tip

clarified settings: $FIND_FACTS_HOME_USER instead of individual directories;
10 days ago, by Fabian Huch
clarified: Find_Facts indexes instead of Solr components;
10 days ago, by Fabian Huch
clarified: application-specific $SOLR_DATA, e.g. $FIND_FACTS_SOLR_DATA;
10 days ago, by Fabian Huch
merged
10 days ago, by Fabian Huch
clarified: more operations;
10 days ago, by Fabian Huch
tuned default nightly start: less events at 00:17:00;
10 days ago, by Fabian Huch
use cycles in ci triggers;
10 days ago, by Fabian Huch
varying-length calendar cycles, e.g. for ci jobs every week on a certain day/time;
10 days ago, by Fabian Huch
clarified;
11 days ago, by Fabian Huch
tuned whitespace;
2 weeks ago, by Fabian Huch
add find_facts_index command to use within Isabelle/Scala;
2 weeks ago, by Fabian Huch
clarified: add afp_root argument;
2 weeks ago, by Fabian Huch
merged
11 days ago, by nipkow
introduced/overloaded power operator ^^ lists
11 days ago, by nipkow
systematic checks for bit operations and more rules on symbolic terms
11 days ago, by haftmann
explicitly report dependencies on missing code equations
11 days ago, by haftmann
simplified old proofs
12 days ago, by paulson
merged
2 weeks ago, by paulson
merged
2 weeks ago, by paulson
A variety of tweaks
2 weeks ago, by paulson
avoid legacy warnings in "test_code check in OCaml";
2 weeks ago, by wenzelm
proper condition for strict "test_code check in OCaml" and "test_code check in GHC";
2 weeks ago, by wenzelm
more NEWS;
2 weeks ago, by wenzelm
merged
2 weeks ago, by wenzelm
misc tuning;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
clarified pattern matching;
2 weeks ago, by wenzelm
misc tuning;
2 weeks ago, by wenzelm
misc tuning and clarification;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
clarified exceptions and messages: use "error" only for user-errors, not system failures;
2 weeks ago, by wenzelm
minor performance tuning: more elementary operations;
2 weeks ago, by wenzelm
minor performance tuning;
2 weeks ago, by wenzelm
clarified inst_type: more direct Thm.instantiate_frees;
2 weeks ago, by wenzelm
more direct Thm.free: avoid re-certification;
2 weeks ago, by wenzelm
clarified signature: more explicit types;
2 weeks ago, by wenzelm
tuned names;
2 weeks ago, by wenzelm
tuned names;
2 weeks ago, by wenzelm
tuned signature;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
tuned signature;
2 weeks ago, by wenzelm
clarified signature: more standard Isabelle/ML;
2 weeks ago, by wenzelm
clarified signature;
2 weeks ago, by wenzelm
more robust import_file path: proper master_directory;
2 weeks ago, by wenzelm
tuned signature: more operations;
2 weeks ago, by wenzelm
unused;
2 weeks ago, by wenzelm
tuned signature, following Isabelle/Scala;
2 weeks ago, by wenzelm
clarified signature, following Isabelle/Scala;
2 weeks ago, by wenzelm
clarified pattern via antiquotations;
2 weeks ago, by wenzelm
misc tuning and clarification;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
clarified make_type: proper make_name;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
clarified signature: more standard Isabelle/ML;
2 weeks ago, by wenzelm
reproducible construction of HOL Light export bundle;
2 weeks ago, by wenzelm
tuned messages;
2 weeks ago, by wenzelm
more robust options;
2 weeks ago, by wenzelm
clarified signature: more explicit operations;
2 weeks ago, by wenzelm

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

isabelle