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

revert pointless 375c6b9ce9ea: overall thread context is already uninterruptible (see 54ac957c53ec);
22 months ago, by wenzelm
tuned whitespace;
22 months ago, by wenzelm
merged
22 months ago, by paulson
Fixed a presentation error
22 months ago, by paulson
Importation of basic group theory results, due to Jakob von Raumer from his AFP entry Jordan-Hölder Theorem
22 months ago, by paulson
tuned whitespace;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
clarified signature, although "sql" argument is de-facto mandatory;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
proper SQL (amending 7ab9bac1ca96);
22 months ago, by wenzelm
clarified signature: more explicit "synchronized" regions;
22 months ago, by wenzelm
more robust interrupt handling, notably for Build_Job.terminate();
22 months ago, by wenzelm

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

isabelle