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
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.
more proof tidying
14 months ago, by paulson
more predictable proof id;
14 months ago, by wenzelm
more conservative cache: retain concurrent value;
14 months ago, by wenzelm
clarified thm_header command_pos vs. thm_pos;
14 months ago, by wenzelm
clarified signature, following zterm.ML;
14 months ago, by wenzelm
tuned whitespace;
14 months ago, by wenzelm
merged
14 months ago, by wenzelm
uniform export via ztyp/zterm/zproof;
14 months ago, by wenzelm
clarified signature;
14 months ago, by wenzelm
tuned;
14 months ago, by wenzelm
more operations;
14 months ago, by wenzelm
clarified scope of cache: avoid nested typ_cache;
14 months ago, by wenzelm
clarified scope of cache: per theory body;
14 months ago, by wenzelm
tuned module structure;
14 months ago, by wenzelm
clarified signature: more operations;
14 months ago, by wenzelm
merged
14 months ago, by nipkow
tuned
14 months ago, by nipkow
added nicer proof
14 months ago, by nipkow
better poller: don't start job when same version is already running;
14 months ago, by Fabian Huch
clarified: more uniform;
14 months ago, by Fabian Huch
merged
14 months ago, by desharna
added lemmas wfp_on_antimono_stronger and wf_on_antimono_stronger
14 months ago, by desharna
More streamlining
14 months ago, by paulson
merged
14 months ago, by paulson
Revised mixfix and streamlined proofs
14 months ago, by paulson
clarified Isabelle/Haskell type Term, following Isabelle/Scala (see 446b887e23c7);
14 months ago, by wenzelm
tuned output, following Isabelle/Scala;
14 months ago, by wenzelm
clarified data representation: prefer explicit OFCLASS constructor, following datatype zterm;
14 months ago, by wenzelm
clarified signature, following Isabelle/Scala;
14 months ago, by wenzelm
afford larger example (see also ccf9241af217);
14 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
tip