Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-96
+96
+100
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
merged
4 weeks ago, by paulson
more tidying
4 weeks ago, by paulson
tuned messages;
4 weeks ago, by Fabian Huch
clarified: more arguments;
4 weeks ago, by Fabian Huch
explicit error message when Solr database does not exist;
4 weeks ago, by Fabian Huch
copy instead of symlink managed Find_Facts indexes: portable, and allows updating with local sessions;
4 weeks ago, by Fabian Huch
clarified CLI arg vs. option;
4 weeks ago, by Fabian Huch
clarified;
4 weeks ago, by Fabian Huch
clarified find_facts URL;
4 weeks ago, by Fabian Huch
clarified CLI options: web dir only in $FIND_FACTS_HOME_USER/web;
4 weeks ago, by Fabian Huch
clarified settings: $FIND_FACTS_HOME_USER instead of individual directories;
4 weeks ago, by Fabian Huch
clarified: Find_Facts indexes instead of Solr components;
4 weeks ago, by Fabian Huch
clarified: application-specific $SOLR_DATA, e.g. $FIND_FACTS_SOLR_DATA;
4 weeks ago, by Fabian Huch
merged
4 weeks ago, by Fabian Huch
clarified: more operations;
4 weeks ago, by Fabian Huch
tuned default nightly start: less events at 00:17:00;
4 weeks ago, by Fabian Huch
use cycles in ci triggers;
4 weeks ago, by Fabian Huch
varying-length calendar cycles, e.g. for ci jobs every week on a certain day/time;
4 weeks ago, by Fabian Huch
clarified;
4 weeks ago, by Fabian Huch
tuned whitespace;
5 weeks ago, by Fabian Huch
add find_facts_index command to use within Isabelle/Scala;
5 weeks ago, by Fabian Huch
clarified: add afp_root argument;
5 weeks ago, by Fabian Huch
merged
4 weeks ago, by nipkow
introduced/overloaded power operator ^^ lists
4 weeks ago, by nipkow
systematic checks for bit operations and more rules on symbolic terms
4 weeks ago, by haftmann
explicitly report dependencies on missing code equations
4 weeks ago, by haftmann
simplified old proofs
5 weeks ago, by paulson
merged
5 weeks ago, by paulson
merged
5 weeks ago, by paulson
A variety of tweaks
5 weeks ago, by paulson
avoid legacy warnings in "test_code check in OCaml";
5 weeks ago, by wenzelm
proper condition for strict "test_code check in OCaml" and "test_code check in GHC";
5 weeks ago, by wenzelm
more NEWS;
5 weeks ago, by wenzelm
merged
5 weeks ago, by wenzelm
misc tuning;
5 weeks ago, by wenzelm
tuned;
5 weeks ago, by wenzelm
tuned;
5 weeks ago, by wenzelm
clarified pattern matching;
5 weeks ago, by wenzelm
misc tuning;
5 weeks ago, by wenzelm
misc tuning and clarification;
5 weeks ago, by wenzelm
tuned;
5 weeks ago, by wenzelm
clarified exceptions and messages: use "error" only for user-errors, not system failures;
5 weeks ago, by wenzelm
minor performance tuning: more elementary operations;
5 weeks ago, by wenzelm
minor performance tuning;
5 weeks ago, by wenzelm
clarified inst_type: more direct Thm.instantiate_frees;
5 weeks ago, by wenzelm
more direct Thm.free: avoid re-certification;
5 weeks ago, by wenzelm
clarified signature: more explicit types;
5 weeks ago, by wenzelm
tuned names;
5 weeks ago, by wenzelm
tuned names;
5 weeks ago, by wenzelm
tuned signature;
5 weeks ago, by wenzelm
tuned;
5 weeks ago, by wenzelm
tuned signature;
5 weeks ago, by wenzelm
clarified signature: more standard Isabelle/ML;
5 weeks ago, by wenzelm
clarified signature;
5 weeks ago, by wenzelm
more robust import_file path: proper master_directory;
5 weeks ago, by wenzelm
tuned signature: more operations;
5 weeks ago, by wenzelm
unused;
5 weeks ago, by wenzelm
tuned signature, following Isabelle/Scala;
5 weeks ago, by wenzelm
clarified signature, following Isabelle/Scala;
5 weeks ago, by wenzelm
clarified pattern via antiquotations;
5 weeks ago, by wenzelm
misc tuning and clarification;
5 weeks ago, by wenzelm
tuned;
5 weeks ago, by wenzelm
clarified make_type: proper make_name;
5 weeks ago, by wenzelm
tuned;
5 weeks ago, by wenzelm
tuned;
5 weeks ago, by wenzelm
clarified signature: more standard Isabelle/ML;
5 weeks ago, by wenzelm
reproducible construction of HOL Light export bundle;
5 weeks ago, by wenzelm
tuned messages;
5 weeks ago, by wenzelm
more robust options;
5 weeks ago, by wenzelm
clarified signature: more explicit operations;
5 weeks ago, by wenzelm
tuned;
5 weeks ago, by wenzelm
tuned: prefer inlined thms;
5 weeks ago, by wenzelm
tuned proofs;
5 weeks ago, by wenzelm
proper GUI.Style_HTML.make_text, e.g. for term "x < y";
5 weeks ago, by wenzelm
clarified signature: more explicit operations;
5 weeks ago, by wenzelm
provide less ambitious "isabelle ocaml_setup_base", notably for platforms without gmp-dev;
5 weeks ago, by wenzelm
clarified signature: more explicit operations;
5 weeks ago, by wenzelm
update to ocaml-base-compiler.4.14.1, which coincides with ocaml on Ubuntu 24.04;
5 weeks ago, by wenzelm
isabelle_id: report sync id, if available;
5 weeks ago, by Fabian Huch
clarified: sync_id operation, similar to archive_id;
5 weeks ago, by Fabian Huch
build schedule: limit history length;
5 weeks ago, by Fabian Huch
tuned whitespace;
5 weeks ago, by Fabian Huch
restrict check to PolyML
5 weeks ago, by haftmann
merged
5 weeks ago, by paulson
More tidying of old proofs
5 weeks ago, by paulson
dropped redundant material (left-over from 5e3dd01a9eb2)
5 weeks ago, by haftmann
explicit check for (experimentally determined) border value
5 weeks ago, by haftmann
theory to rewrite arithmetic operations to bit shifts
5 weeks ago, by haftmann
merge
5 weeks ago, by nipkow
Compact notation for Suc numerals.
5 weeks ago, by nipkow
store the {l,g}fp-definition and the monotonicity theorem for inductive predicates (by Jan van Brügge)
5 weeks ago, by traytel
make the definition of BNF bounds more easily accessible (by Jan van Brügge)
5 weeks ago, by traytel
avoid theorem name clash (by Jan van Brügge)
5 weeks ago, by traytel
introduce fewer constants in copy_bnf/lift_bnf (by Jan van Brügge)
5 weeks ago, by traytel
Some work on an ancient theory file. And a weird failure in Float.thy
5 weeks ago, by paulson
simplified old proofs
5 weeks ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-96
+96
+100
tip