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.
support for Java language;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
support for classpath artifacts within session structure:
21 months ago, by wenzelm
clarified names;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
unused;
21 months ago, by wenzelm
clarified signature;
21 months ago, by wenzelm
tuned signature: more explicit types;
21 months ago, by wenzelm
fix document build error
21 months ago, by Lukas Stevens
tuned (some HOL lints, by Yecine Megdiche);
21 months ago, by Fabian Huch
moved lemma fromm AFP
21 months ago, by nipkow
tuned names
21 months ago, by nipkow
refined code equations for characters
21 months ago, by haftmann
prefer non-JNI SAT solvers by default in Nitpick
21 months ago, by blanchet
milder Sledgehammer messages
21 months ago, by blanchet
moved lemmas from AFP
21 months ago, by nipkow
refined code equations for characters
21 months ago, by haftmann
tuned comments;
21 months ago, by wenzelm
support for Isabelle/Scala/Java modules in Isabelle/ML;
21 months ago, by wenzelm
more robust Scala 3 indentation, for the sake of IntelliJ IDEA;
21 months ago, by wenzelm
clarified signature: read_theory_exports is already ordered;
21 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
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
tip