Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 31 May 2005 11:53:35 +0200 renamed cond_extern to extern;
changeset
wenzelm [Tue, 31 May 2005 11:53:35 +0200] rev 16144
renamed cond_extern to extern; Sign.declare_name replaces NameSpace.extend; proper use of naming context; tuned rename_facts; note_thmss_registrations: avoid non-linear use of thy (via sign);
Tue, 31 May 2005 11:53:34 +0200 improved naming of complex theorems in presentation;
changeset
wenzelm [Tue, 31 May 2005 11:53:34 +0200] rev 16143
improved naming of complex theorems in presentation;
Tue, 31 May 2005 11:53:33 +0200 added short_names, unique_names options;
changeset
wenzelm [Tue, 31 May 2005 11:53:33 +0200] rev 16142
added short_names, unique_names options;
Tue, 31 May 2005 11:53:32 +0200 renamed cond_extern to extern;
changeset
wenzelm [Tue, 31 May 2005 11:53:32 +0200] rev 16141
renamed cond_extern to extern; Sign.declare_name replaces NameSpace.extend;
Tue, 31 May 2005 11:53:31 +0200 added symbol scanner;
changeset
wenzelm [Tue, 31 May 2005 11:53:31 +0200] rev 16140
added symbol scanner;
Tue, 31 May 2005 11:53:30 +0200 remove(_multi): generalized type;
changeset
wenzelm [Tue, 31 May 2005 11:53:30 +0200] rev 16139
remove(_multi): generalized type;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle