isabelle: Graph

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 +1000 +3000 tip

tuned messages;
17 months ago, by wenzelm
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

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 tip

isabelle