Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
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.
prefer non-JNI SAT solvers by default in Nitpick
22 months ago, by blanchet
milder Sledgehammer messages
22 months ago, by blanchet
moved lemmas from AFP
22 months ago, by nipkow
refined code equations for characters
22 months ago, by haftmann
tuned comments;
22 months ago, by wenzelm
support for Isabelle/Scala/Java modules in Isabelle/ML;
22 months ago, by wenzelm
more robust Scala 3 indentation, for the sake of IntelliJ IDEA;
22 months ago, by wenzelm
clarified signature: read_theory_exports is already ordered;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
sketch for word-specific lsb and msb
22 months ago, by haftmann
switch to Scala 3;
22 months ago, by wenzelm
minor performance tuning: avoid redundant BigInt construction;
22 months ago, by wenzelm
added lemmas total_on_trancl and totalp_on_tranclp
22 months ago, by desharna
Move code lemmas for symbolic computation of bit operations on int to distribution.
22 months ago, by haftmann
fixed diverging simproc cont_intro
22 months ago, by desharna
corrections and adjustions for Scala 3
22 months ago, by haftmann
more complete set of code equations
22 months ago, by haftmann
officical abstract characters for code generation
22 months ago, by haftmann
provide components for scala3 (still inactive);
22 months ago, by wenzelm
updated download version;
22 months ago, by wenzelm
obsolete;
22 months ago, by wenzelm
more keywords for scala3;
22 months ago, by wenzelm
discontinued Isabelle tools implemented as .scala scripts;
22 months ago, by wenzelm
tuned proofs
23 months ago, by desharna
clarified heap alignment, to make it potentially more stable on macOS;
23 months ago, by wenzelm
tuned proof
23 months ago, by desharna
added lemmas domain_comp and unify_gives_minimal_domain
23 months ago, by desharna
added definition range_vars and lemmas vars_of_subst_conv_Union, vars_of_subst_subset, range_vars_comp_subset, and unify_gives_minimal_range
23 months ago, by desharna
merged
23 months ago, by desharna
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
tip