Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-10000
-3000
-1000
-300
-100
-30
-10
-3
+3
+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
.
Wed, 04 May 2005 08:37:45 +0200
neqE applies even if the type is not one which partakes in linear arithmetic.
changeset
nipkow [Wed, 04 May 2005 08:37:45 +0200] rev 15922
neqE applies even if the type is not one which partakes in linear arithmetic. This lead to confusion. Now there are multiple type specific neqE.
Wed, 04 May 2005 08:36:10 +0200
Fixing a problem with lin.arith.
changeset
nipkow [Wed, 04 May 2005 08:36:10 +0200] rev 15921
Fixing a problem with lin.arith.
Tue, 03 May 2005 15:37:41 +0200
make mkdir usable with cygwin
changeset
haftmann [Tue, 03 May 2005 15:37:41 +0200] rev 15920
make mkdir usable with cygwin
(0)
-10000
-3000
-1000
-300
-100
-30
-10
-3
+3
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip