Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
2016-02-25 more robust treatment of shell functions: dynamic_env recreates lost definitions on demand, e.g. after going through aggressive versions of /bin/sh -> dash;
changeset
wenzelm [Thu, 25 Feb 2016 17:49:04 +0100] rev 62412
more robust treatment of shell functions: dynamic_env recreates lost definitions on demand, e.g. after going through aggressive versions of /bin/sh -> dash;
2016-02-25 Merge
changeset
paulson <lp15@cam.ac.uk> [Thu, 25 Feb 2016 16:53:34 +0000] rev 62411
Merge
2016-02-25 partial tidy-up of Sylow's theorem
changeset
paulson <lp15@cam.ac.uk> [Thu, 25 Feb 2016 16:49:00 +0000] rev 62410
partial tidy-up of Sylow's theorem
2016-02-25 proper option process_output_tail, more generous default;
changeset
wenzelm [Thu, 25 Feb 2016 16:16:29 +0100] rev 62409
proper option process_output_tail, more generous default;
2016-02-25 Conformal_mappings: a big development in complex analysis (+ some lemmas)
changeset
paulson <lp15@cam.ac.uk> [Thu, 25 Feb 2016 13:58:48 +0000] rev 62408
Conformal_mappings: a big development in complex analysis (+ some lemmas)
2016-02-24 tuned;
changeset
wenzelm [Thu, 25 Feb 2016 00:36:44 +0100] rev 62407
tuned;
2016-02-24 tuned signature;
changeset
wenzelm [Thu, 25 Feb 2016 00:35:17 +0100] rev 62406
tuned signature;
2016-02-24 proper return code for timeout (amending f868f12f9419);
changeset
wenzelm [Thu, 25 Feb 2016 00:27:57 +0100] rev 62405
proper return code for timeout (amending f868f12f9419);
2016-02-24 retain tail out_lines as printed, but not the whole log content;
changeset
wenzelm [Thu, 25 Feb 2016 00:18:48 +0100] rev 62404
retain tail out_lines as printed, but not the whole log content;
2016-02-24 explicit class Build_Results;
changeset
wenzelm [Thu, 25 Feb 2016 00:06:37 +0100] rev 62403
explicit class Build_Results; cancelled sessions have rc = 1 (again);
2016-02-24 more informative Build.build_results;
changeset
wenzelm [Wed, 24 Feb 2016 23:36:45 +0100] rev 62402
more informative Build.build_results; tuned signature;
2016-02-24 more informative Process_Result;
changeset
wenzelm [Wed, 24 Feb 2016 22:40:19 +0100] rev 62401
more informative Process_Result; tuned;
2016-02-24 clarified modules;
changeset
wenzelm [Wed, 24 Feb 2016 22:11:28 +0100] rev 62400
clarified modules;
2016-02-24 tuned signature;
changeset
wenzelm [Wed, 24 Feb 2016 22:03:24 +0100] rev 62399
tuned signature;
2016-02-24 Merge
changeset
paulson <lp15@cam.ac.uk> [Wed, 24 Feb 2016 16:00:57 +0000] rev 62398
Merge
2016-02-24 Substantial new material for multivariate analysis. Also removal of some duplicates.
changeset
paulson <lp15@cam.ac.uk> [Wed, 24 Feb 2016 15:51:01 +0000] rev 62397
Substantial new material for multivariate analysis. Also removal of some duplicates.
2016-02-24 NEWS
changeset
nipkow [Wed, 24 Feb 2016 07:41:52 +0100] rev 62396
NEWS
2016-02-23 refactoring
changeset
blanchet [Tue, 23 Feb 2016 19:05:18 +0100] rev 62395
refactoring
2016-02-23 merged
changeset
nipkow [Tue, 23 Feb 2016 18:04:38 +0100] rev 62394
merged
2016-02-23 resolved conflict
changeset
nipkow [Tue, 23 Feb 2016 18:04:31 +0100] rev 62393
resolved conflict
2016-02-23 more canonical names
changeset
nipkow [Tue, 23 Feb 2016 17:47:23 +0100] rev 62392
more canonical names
2016-02-23 more canonical names
changeset
nipkow [Tue, 23 Feb 2016 16:41:14 +0100] rev 62391
more canonical names
2016-02-23 more canonical names
changeset
nipkow [Tue, 23 Feb 2016 16:25:08 +0100] rev 62390
more canonical names
2016-02-23 merged
changeset
wenzelm [Tue, 23 Feb 2016 17:16:02 +0100] rev 62389
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 tip
isabelle