Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-15
+15
+100
+300
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.
Added two lemmas; renamed legacy_Complex_simps
4 months ago, by paulson
contributor
4 months ago, by nipkow
added simproc for cont
4 months ago, by nipkow
clarify Sledgehammer instantiations without preplay (dont_preplay option and tactic provers)
4 months ago, by Lukas Bartl
more robust (amending 4ca84abb16ef): Main_Plugin.start() could happen on other thread, e.g. when $JEDIT_SETTINGS/recent.xml refers to "isabelle-export:" URL;
4 months ago, by wenzelm
added lemma
4 months ago, by nipkow
merged
4 months ago, by wenzelm
clarified settings: these are setup defaults, not necessarily the installed version;
4 months ago, by wenzelm
provide "isabelle caddy_setup" and "isabelle caddy";
4 months ago, by wenzelm
update to current go-1.24.3;
4 months ago, by wenzelm
tuned;
4 months ago, by wenzelm
clarified signature and modules;
4 months ago, by wenzelm
tuned comments;
4 months ago, by wenzelm
clarified signature;
4 months ago, by wenzelm
prefer official precise attribute
4 months ago, by haftmann
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-15
+15
+100
+300
tip