Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-10000
-3000
-1000
-300
-100
-30
-10
-4
+4
+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
.
Thu, 23 Jun 2005 21:17:26 +0200
added match functions for spair, sinl, sinr
changeset
huffman [Thu, 23 Jun 2005 21:17:26 +0200] rev 16551
added match functions for spair, sinl, sinr
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.
(0)
-10000
-3000
-1000
-300
-100
-30
-10
-4
+4
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip