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
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.
A variety of tweaks
12 days ago, by paulson
avoid legacy warnings in "test_code check in OCaml";
12 days ago, by wenzelm
proper condition for strict "test_code check in OCaml" and "test_code check in GHC";
12 days ago, by wenzelm
more NEWS;
12 days ago, by wenzelm
merged
12 days ago, by wenzelm
misc tuning;
12 days ago, by wenzelm
tuned;
12 days ago, by wenzelm
tuned;
12 days ago, by wenzelm
clarified pattern matching;
12 days ago, by wenzelm
misc tuning;
12 days ago, by wenzelm
misc tuning and clarification;
12 days ago, by wenzelm
tuned;
12 days ago, by wenzelm
clarified exceptions and messages: use "error" only for user-errors, not system failures;
12 days ago, by wenzelm
minor performance tuning: more elementary operations;
12 days ago, by wenzelm
minor performance tuning;
12 days ago, by wenzelm
clarified inst_type: more direct Thm.instantiate_frees;
12 days ago, by wenzelm
more direct Thm.free: avoid re-certification;
12 days ago, by wenzelm
clarified signature: more explicit types;
12 days ago, by wenzelm
tuned names;
12 days ago, by wenzelm
tuned names;
12 days ago, by wenzelm
tuned signature;
12 days ago, by wenzelm
tuned;
12 days ago, by wenzelm
tuned signature;
12 days ago, by wenzelm
clarified signature: more standard Isabelle/ML;
12 days ago, by wenzelm
clarified signature;
12 days ago, by wenzelm
more robust import_file path: proper master_directory;
12 days ago, by wenzelm
tuned signature: more operations;
12 days ago, by wenzelm
unused;
12 days ago, by wenzelm
tuned signature, following Isabelle/Scala;
12 days ago, by wenzelm
clarified signature, following Isabelle/Scala;
12 days ago, by wenzelm
clarified pattern via antiquotations;
12 days ago, by wenzelm
misc tuning and clarification;
12 days ago, by wenzelm
tuned;
12 days ago, by wenzelm
clarified make_type: proper make_name;
12 days ago, by wenzelm
tuned;
12 days ago, by wenzelm
tuned;
12 days ago, by wenzelm
clarified signature: more standard Isabelle/ML;
12 days ago, by wenzelm
reproducible construction of HOL Light export bundle;
13 days ago, by wenzelm
tuned messages;
13 days ago, by wenzelm
more robust options;
13 days ago, by wenzelm
clarified signature: more explicit operations;
13 days ago, by wenzelm
tuned;
13 days ago, by wenzelm
tuned: prefer inlined thms;
13 days ago, by wenzelm
tuned proofs;
13 days ago, by wenzelm
proper GUI.Style_HTML.make_text, e.g. for term "x < y";
13 days ago, by wenzelm
clarified signature: more explicit operations;
2 weeks ago, by wenzelm
provide less ambitious "isabelle ocaml_setup_base", notably for platforms without gmp-dev;
2 weeks ago, by wenzelm
clarified signature: more explicit operations;
2 weeks ago, by wenzelm
update to ocaml-base-compiler.4.14.1, which coincides with ocaml on Ubuntu 24.04;
2 weeks ago, by wenzelm
isabelle_id: report sync id, if available;
12 days ago, by Fabian Huch
clarified: sync_id operation, similar to archive_id;
12 days ago, by Fabian Huch
build schedule: limit history length;
13 days ago, by Fabian Huch
tuned whitespace;
13 days ago, by Fabian Huch
restrict check to PolyML
13 days ago, by haftmann
merged
13 days ago, by paulson
More tidying of old proofs
13 days ago, by paulson
dropped redundant material (left-over from 5e3dd01a9eb2)
13 days ago, by haftmann
explicit check for (experimentally determined) border value
13 days ago, by haftmann
theory to rewrite arithmetic operations to bit shifts
13 days ago, by haftmann
merge
2 weeks ago, by nipkow
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
tip