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.
Fri, 07 Apr 2017 11:53:44 +0200 tuned;
changeset
wenzelm [Fri, 07 Apr 2017 11:53:44 +0200] rev 65421
tuned;
Fri, 07 Apr 2017 11:50:49 +0200 support for static session imports, without affect build hierarchy;
changeset
wenzelm [Fri, 07 Apr 2017 11:50:49 +0200] rev 65420
support for static session imports, without affect build hierarchy;
Fri, 07 Apr 2017 10:47:25 +0200 explicit Sessions.Selection;
changeset
wenzelm [Fri, 07 Apr 2017 10:47:25 +0200] rev 65419
explicit Sessions.Selection;
Fri, 07 Apr 2017 10:56:41 +0200 more general signature; works for all terms, not just frees
changeset
Lars Hupel <lars.hupel@mytum.de> [Fri, 07 Apr 2017 10:56:41 +0200] rev 65418
more general signature; works for all terms, not just frees
Thu, 06 Apr 2017 21:37:13 +0200 session containing computational algebra
changeset
haftmann [Thu, 06 Apr 2017 21:37:13 +0200] rev 65417
session containing computational algebra
Thu, 06 Apr 2017 08:33:37 +0200 more approproiate placement of theories MiscAlgebra and Multiplicate_Group
changeset
haftmann [Thu, 06 Apr 2017 08:33:37 +0200] rev 65416
more approproiate placement of theories MiscAlgebra and Multiplicate_Group
Thu, 06 Apr 2017 22:04:30 +0200 clarified signature: tree structure is not essential;
changeset
wenzelm [Thu, 06 Apr 2017 22:04:30 +0200] rev 65415
clarified signature: tree structure is not essential;
Thu, 06 Apr 2017 21:10:35 +0200 merged
changeset
wenzelm [Thu, 06 Apr 2017 21:10:35 +0200] rev 65414
merged
Thu, 06 Apr 2017 21:01:39 +0200 misc tuning and modernization;
changeset
wenzelm [Thu, 06 Apr 2017 21:01:39 +0200] rev 65413
misc tuning and modernization;
Thu, 06 Apr 2017 16:39:13 +0200 merged
changeset
Lars Hupel <lars.hupel@mytum.de> [Thu, 06 Apr 2017 16:39:13 +0200] rev 65412
merged
Wed, 05 Apr 2017 19:23:41 +0200 use Item_Net to store inductive info
changeset
Lars Hupel <lars.hupel@mytum.de> [Wed, 05 Apr 2017 19:23:41 +0200] rev 65411
use Item_Net to store inductive info
Thu, 06 Apr 2017 16:08:48 +0200 tuned whitespace;
changeset
wenzelm [Thu, 06 Apr 2017 16:08:48 +0200] rev 65410
tuned whitespace;
Thu, 06 Apr 2017 16:01:39 +0200 tuned signature;
changeset
wenzelm [Thu, 06 Apr 2017 16:01:39 +0200] rev 65409
tuned signature;
Thu, 06 Apr 2017 15:57:33 +0200 more accurate qualified lookup;
changeset
wenzelm [Thu, 06 Apr 2017 15:57:33 +0200] rev 65408
more accurate qualified lookup; tuned;
Thu, 06 Apr 2017 15:44:16 +0200 clarified fall-back name;
changeset
wenzelm [Thu, 06 Apr 2017 15:44:16 +0200] rev 65407
clarified fall-back name;
Thu, 06 Apr 2017 15:20:45 +0200 tuned signature;
changeset
wenzelm [Thu, 06 Apr 2017 15:20:45 +0200] rev 65406
tuned signature;
Thu, 06 Apr 2017 14:41:56 +0200 tuned whitespace;
changeset
wenzelm [Thu, 06 Apr 2017 14:41:56 +0200] rev 65405
tuned whitespace;
Thu, 06 Apr 2017 14:32:56 +0200 clarified modules;
changeset
wenzelm [Thu, 06 Apr 2017 14:32:56 +0200] rev 65404
clarified modules;
Thu, 06 Apr 2017 14:08:42 +0200 clarified checks -- avoid duplicated messages (amending 60c159d490a2);
changeset
wenzelm [Thu, 06 Apr 2017 14:08:42 +0200] rev 65403
clarified checks -- avoid duplicated messages (amending 60c159d490a2);
Thu, 06 Apr 2017 13:30:46 +0200 proper default (amending 601866c61ded);
changeset
wenzelm [Thu, 06 Apr 2017 13:30:46 +0200] rev 65402
proper default (amending 601866c61ded);
Thu, 06 Apr 2017 11:23:26 +0200 Fixed import path in Factorial_Ring
changeset
eberlm <eberlm@in.tum.de> [Thu, 06 Apr 2017 11:23:26 +0200] rev 65401
Fixed import path in Factorial_Ring
Thu, 06 Apr 2017 10:22:03 +0200 Merged
changeset
eberlm <eberlm@in.tum.de> [Thu, 06 Apr 2017 10:22:03 +0200] rev 65400
Merged
Thu, 06 Apr 2017 10:21:45 +0200 Merged
changeset
eberlm <eberlm@in.tum.de> [Thu, 06 Apr 2017 10:21:45 +0200] rev 65399
Merged
Tue, 04 Apr 2017 10:34:48 +0200 Tuned
changeset
eberlm <eberlm@in.tum.de> [Tue, 04 Apr 2017 10:34:48 +0200] rev 65398
Tuned
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 tip
isabelle