Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sun, 17 Apr 2005 19:40:34 +0200 added delete_safe, insert, remove, remove_multi;
changeset
wenzelm [Sun, 17 Apr 2005 19:40:34 +0200] rev 15761
added delete_safe, insert, remove, remove_multi; tuned;
Sun, 17 Apr 2005 19:39:39 +0200 clarified insert/remove;
changeset
wenzelm [Sun, 17 Apr 2005 19:39:39 +0200] rev 15760
clarified insert/remove; tuned canonical fold/fold_rev;
Sun, 17 Apr 2005 19:39:11 +0200 tuned;
changeset
wenzelm [Sun, 17 Apr 2005 19:39:11 +0200] rev 15759
tuned;
Sun, 17 Apr 2005 19:38:53 +0200 binds/thms: do not store options, but delete from table;
changeset
wenzelm [Sun, 17 Apr 2005 19:38:53 +0200] rev 15758
binds/thms: do not store options, but delete from table; tuned;
Sun, 17 Apr 2005 19:38:40 +0200 tuned comments;
changeset
wenzelm [Sun, 17 Apr 2005 19:38:40 +0200] rev 15757
tuned comments;
Sun, 17 Apr 2005 19:38:30 +0200 removed;
changeset
wenzelm [Sun, 17 Apr 2005 19:38:30 +0200] rev 15756
removed;
Sat, 16 Apr 2005 18:58:55 +0200 expect translations functions to be stamped already;
changeset
wenzelm [Sat, 16 Apr 2005 18:58:55 +0200] rev 15755
expect translations functions to be stamped already; added remove_const_gram;
Sat, 16 Apr 2005 18:58:30 +0200 added stamp_trfun, mk_trfun, eq_trfun;
changeset
wenzelm [Sat, 16 Apr 2005 18:58:30 +0200] rev 15754
added stamp_trfun, mk_trfun, eq_trfun;
Sat, 16 Apr 2005 18:58:18 +0200 tuned extend_prtabs;
changeset
wenzelm [Sat, 16 Apr 2005 18:58:18 +0200] rev 15753
tuned extend_prtabs; added remove_prtabs;
Sat, 16 Apr 2005 18:58:09 +0200 added make_gram;
changeset
wenzelm [Sat, 16 Apr 2005 18:58:09 +0200] rev 15752
added make_gram; merge_gram: do not add chain productions to prods;
Sat, 16 Apr 2005 18:57:53 +0200 identify binder translations only once (admits remove);
changeset
wenzelm [Sat, 16 Apr 2005 18:57:53 +0200] rev 15751
identify binder translations only once (admits remove);
Sat, 16 Apr 2005 18:57:39 +0200 Syntax.mk_trfun;
changeset
wenzelm [Sat, 16 Apr 2005 18:57:39 +0200] rev 15750
Syntax.mk_trfun;
Sat, 16 Apr 2005 18:57:18 +0200 tuned (t)inst_tab_elem;
changeset
wenzelm [Sat, 16 Apr 2005 18:57:18 +0200] rev 15749
tuned (t)inst_tab_elem;
Sat, 16 Apr 2005 18:56:48 +0200 added 'no_syntax' command;
changeset
wenzelm [Sat, 16 Apr 2005 18:56:48 +0200] rev 15748
added 'no_syntax' command;
Sat, 16 Apr 2005 18:56:37 +0200 added del_modesyntax(_i);
changeset
wenzelm [Sat, 16 Apr 2005 18:56:37 +0200] rev 15747
added del_modesyntax(_i);
Sat, 16 Apr 2005 18:56:21 +0200 added del_modesyntax(_i);
changeset
wenzelm [Sat, 16 Apr 2005 18:56:21 +0200] rev 15746
added del_modesyntax(_i); added print_all_data;
Sat, 16 Apr 2005 18:55:51 +0200 added gen_remove, remove;
changeset
wenzelm [Sat, 16 Apr 2005 18:55:51 +0200] rev 15745
added gen_remove, remove; usual arrangement BasicLibrary: BASIC_LIBRARY and Library: LIBRARY;
Sat, 16 Apr 2005 18:55:28 +0200 Pure: command 'no_syntax' removes grammar declarations;
changeset
wenzelm [Sat, 16 Apr 2005 18:55:28 +0200] rev 15744
Pure: command 'no_syntax' removes grammar declarations;
Sat, 16 Apr 2005 18:54:44 +0200 removed;
changeset
wenzelm [Sat, 16 Apr 2005 18:54:44 +0200] rev 15743
removed;
Sat, 16 Apr 2005 00:17:52 +0200 speed improvements for the domain package
changeset
huffman [Sat, 16 Apr 2005 00:17:52 +0200] rev 15742
speed improvements for the domain package
Sat, 16 Apr 2005 00:16:44 +0200 New file for theorems used by the domain package
changeset
huffman [Sat, 16 Apr 2005 00:16:44 +0200] rev 15741
New file for theorems used by the domain package
Fri, 15 Apr 2005 18:43:35 +0200 rermoved pointless example
changeset
nipkow [Fri, 15 Apr 2005 18:43:35 +0200] rev 15740
rermoved pointless example
Fri, 15 Apr 2005 18:16:05 +0200 yet more tidying up: removal of some references to Main
changeset
paulson [Fri, 15 Apr 2005 18:16:05 +0200] rev 15739
yet more tidying up: removal of some references to Main
Fri, 15 Apr 2005 17:03:35 +0200 *** empty log message ***
changeset
nipkow [Fri, 15 Apr 2005 17:03:35 +0200] rev 15738
*** empty log message ***
Fri, 15 Apr 2005 14:14:24 +0200 New
changeset
nipkow [Fri, 15 Apr 2005 14:14:24 +0200] rev 15737
New
Fri, 15 Apr 2005 13:35:53 +0200 more tidying up of the SPASS interface
changeset
paulson [Fri, 15 Apr 2005 13:35:53 +0200] rev 15736
more tidying up of the SPASS interface
Fri, 15 Apr 2005 12:00:00 +0200 Removed most of the atp interface from Pure.
changeset
ballarin [Fri, 15 Apr 2005 12:00:00 +0200] rev 15735
Removed most of the atp interface from Pure.
Thu, 14 Apr 2005 19:30:57 +0200 Include automatic determination of poly version.
changeset
aspinall [Thu, 14 Apr 2005 19:30:57 +0200] rev 15734
Include automatic determination of poly version.
Thu, 14 Apr 2005 19:16:07 +0200 Add RDISTDIR option used by Isabelle RPM.
changeset
aspinall [Thu, 14 Apr 2005 19:16:07 +0200] rev 15733
Add RDISTDIR option used by Isabelle RPM.
Thu, 14 Apr 2005 17:57:23 +0200 Added thm names
changeset
nipkow [Thu, 14 Apr 2005 17:57:23 +0200] rev 15732
Added thm names
(0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle