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
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.
dropped unused operations
6 weeks ago, by haftmann
prefer regular code declarations
6 weeks ago, by haftmann
merged
6 weeks ago, by wenzelm
tuned comments;
6 weeks ago, by wenzelm
tuned signature;
6 weeks ago, by wenzelm
tuned source structure: ml_settings operations implicitly assume init;
6 weeks ago, by wenzelm
Simple facts about Lebesgue integration
6 weeks ago, by paulson
merged
6 weeks ago, by nipkow
use prove_internal instead of prove in list to set simproc to avoid incomplete matching sanity check
6 weeks ago, by nipkow
prefer concise "isabelle process_theories", which only uses the required theories;
6 weeks ago, by wenzelm
support for "isabelle process_theories -E EXPORTS";
6 weeks ago, by wenzelm
Removed an SMT call
6 weeks ago, by paulson
more robust, notably for Isabelle/MAWEN "polyminus.sml matchsub (?a * (?b - ?c)...";
6 weeks ago, by wenzelm
prefer existing proof in Abstract_Topological_Spaces
7 weeks ago, by nipkow
tuned
7 weeks ago, by nipkow
tuned proof to reduce duplication and validation time
7 weeks ago, by desharna
proper naming for definitions in nested context based upon class target
7 weeks ago, by haftmann
tuned name
7 weeks ago, by haftmann
tuned signature;
7 weeks ago, by wenzelm
discontinue odd test for obsolete manual (see also 2288a6f17930);
7 weeks ago, by wenzelm
no special tag for transient option;
7 weeks ago, by wenzelm
obsolete (see 5d562dd387ae);
7 weeks ago, by wenzelm
avoid legacy operations;
7 weeks ago, by wenzelm
update to flatlaf-3.6.1 and related jsvg-2.0.0;
7 weeks ago, by wenzelm
build logic image in persistent store, without private_dir;
7 weeks ago, by wenzelm
proper session dirs;
7 weeks ago, by wenzelm
tuned spelling;
7 weeks ago, by wenzelm
support for explicit session directory;
7 weeks ago, by wenzelm
update documentation, following 71ffc2c22348;
7 weeks ago, by wenzelm
explicit "isabelle process_theories -U" as in "isabelle build_log";
7 weeks ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
tip