Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Thu, 23 Jun 2005 19:40:03 +0200 fixed \<Prod> syntax
changeset
nipkow [Thu, 23 Jun 2005 19:40:03 +0200] rev 16550
fixed \<Prod> syntax
Thu, 23 Jun 2005 07:32:59 +0200 new
changeset
nipkow [Thu, 23 Jun 2005 07:32:59 +0200] rev 16549
new
Wed, 22 Jun 2005 20:26:31 +0200 Temporarily removed Rewrite from the translation code so that parsing with work on lists of numbers.
changeset
quigley [Wed, 22 Jun 2005 20:26:31 +0200] rev 16548
Temporarily removed Rewrite from the translation code so that parsing with work on lists of numbers. Will now signal if ATP has run out of time and then kill the watcher.
Wed, 22 Jun 2005 19:48:20 +0200 * Pure: the Isar proof context type is already defined early in Pure
changeset
wenzelm [Wed, 22 Jun 2005 19:48:20 +0200] rev 16547
* Pure: the Isar proof context type is already defined early in Pure as Context.proof;
Wed, 22 Jun 2005 19:44:12 +0200 added find2
changeset
nipkow [Wed, 22 Jun 2005 19:44:12 +0200] rev 16546
added find2
Wed, 22 Jun 2005 19:44:03 +0200 *** empty log message ***
changeset
nipkow [Wed, 22 Jun 2005 19:44:03 +0200] rev 16545
*** empty log message ***
Wed, 22 Jun 2005 19:43:48 +0200 tunes Find
changeset
nipkow [Wed, 22 Jun 2005 19:43:48 +0200] rev 16544
tunes Find
Wed, 22 Jun 2005 19:43:38 +0200 added Rules/find2
changeset
nipkow [Wed, 22 Jun 2005 19:43:38 +0200] rev 16543
added Rules/find2
Wed, 22 Jun 2005 19:41:30 +0200 tuned pointer_eq;
changeset
wenzelm [Wed, 22 Jun 2005 19:41:30 +0200] rev 16542
tuned pointer_eq;
Wed, 22 Jun 2005 19:41:29 +0200 renamed data kind;
changeset
wenzelm [Wed, 22 Jun 2005 19:41:29 +0200] rev 16541
renamed data kind;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle