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.
more robust ancestor_results: avoid total existence failure after build_process has crashed elsewhere;
17 months ago, by wenzelm
clarified synchronized regions: avoid deadlock of Build_Cluster operations on other thread vs. return_code(), notably via capture() error handling;
17 months ago, by wenzelm
merged
17 months ago, by nipkow
improved simp rule insert_Times_insert (following Dominique Unruh).
17 months ago, by nipkow
afford multiple tests for arm64_32-darwin on this fast machine;
17 months ago, by wenzelm
proper history_base for AMR64;
17 months ago, by wenzelm
tuned
17 months ago, by nipkow
more robust support for ARM64 platform;
17 months ago, by wenzelm
proper support for Apple Silicon (ARM64);
17 months ago, by wenzelm
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
more hardware details;
17 months ago, by wenzelm
update to polyml-219e0a248f70, with more robust support for ARM64;
17 months ago, by wenzelm
tuned generated README;
17 months ago, by wenzelm
merged
17 months ago, by paulson
Tidied up more messy proofs
17 months ago, by paulson
hints on "hg bisect";
17 months ago, by wenzelm
no hardwired timeout in Isabelle distribution (unlike on AFP): reverting part of 74c75da4cb01 -- without further tinkering it breaks isabelle_cronjob builds;
17 months ago, by wenzelm
Removal of ugly old proofs
17 months ago, by paulson
merged
17 months ago, by paulson
More cosmetic changes
17 months ago, by paulson
Cosmetic polishing of proofs
17 months ago, by paulson
remove debug printing
17 months ago, by Mathias Fleury
merged
17 months ago, by nipkow
added mbox-like latex sugar
17 months ago, by nipkow
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
tip