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.
clarified Latex markup: optional cite "location" consists of nested document text;
18 months ago, by wenzelm
more explicit latex markup;
18 months ago, by wenzelm
follow recent changes of Sledgehammer defaults, as 0a46b3dbd5ad exposes a hint in the source text;
18 months ago, by wenzelm
One messy, messy proof
18 months ago, by paulson
Missing theorem restored
18 months ago, by paulson
Tidying up BNF
18 months ago, by paulson
More cleaning up proofs, plus a TeX fix
18 months ago, by paulson
Fixed a broken proof
18 months ago, by paulson
Substantial simplification of HOL-Cardinals
18 months ago, by paulson
merged
18 months ago, by paulson
Trying to clean up HOL/Cardinals
18 months ago, by paulson
added session to mirabelle output directory structure
18 months ago, by desharna
More tidying of topology proofs
18 months ago, by paulson
Partial round of clearing up applys, etc
18 months ago, by paulson
merged
18 months ago, by paulson
merged
18 months ago, by paulson
Substantial de-applying and streamlining
18 months ago, by paulson
tuned sledgehammer default provers to only include local ones
18 months ago, by desharna
enforce rebuild of Isabelle/ML to update build databases;
19 months ago, by wenzelm
prefer relative src_path (if possible) -- in contrast to 9ce0aa145d21:
19 months ago, by wenzelm
proper treatment of unicode_symbols;
19 months ago, by wenzelm
tuned signature: avoid alias that is unclear wrt. lazy state and Symbol.encode/decode status;
19 months ago, by wenzelm
removed unused operation: unclear wrt. Symbol.encode/decode status;
19 months ago, by wenzelm
tuned signature: more uniform operations;
19 months ago, by wenzelm
tuned comments;
19 months ago, by wenzelm
unused;
19 months ago, by wenzelm
more uniform operations;
19 months ago, by wenzelm
restrict to proper_session_theories;
19 months ago, by wenzelm
proper build parameters (amending d858e6f15da3);
19 months ago, by wenzelm
treat update_options as part of Sessions.Info meta_digest, for proper re-build of updated sessions;
19 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
tip