Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+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.
merged
17 months ago, by wenzelm
tuned: more symmetric and more robust wrt. evolution of theory loader vs. PIDE state;
17 months ago, by wenzelm
proper imports_keywords (amending 40a365360680), e.g. relevant for implicit "print_state" for commands defined after Pure;
17 months ago, by wenzelm
proper prev_thy (amending 92a547feec88), notably for the sake of 'print_theorems', which is the only use of Toplevel.previous_theory_of;
17 months ago, by wenzelm
made another two tactics more robust in presence of BNFs nesting live variables (reported by Wolfgang Jeltsch)
17 months ago, by traytel
made tactic more robust in presence of BNFs nesting live variables (reported by Wolfgang Jeltsch)
17 months ago, by traytel
systematic testing of arm64_32-darwin;
17 months ago, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
tip