Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+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, 05 May 2005 11:56:00 +0200
lucas - added update node function.
changeset
dixon [Thu, 05 May 2005 11:56:00 +0200] rev 15927
lucas - added update node function.
Wed, 04 May 2005 18:50:39 +0200
Added eta_long attribute.
changeset
berghofe [Wed, 04 May 2005 18:50:39 +0200] rev 15926
Added eta_long attribute.
Wed, 04 May 2005 18:50:21 +0200
Added eta_long_conversion.
changeset
berghofe [Wed, 04 May 2005 18:50:21 +0200] rev 15925
Added eta_long_conversion.
Wed, 04 May 2005 10:44:53 +0200
eta-expansion
changeset
paulson [Wed, 04 May 2005 10:44:53 +0200] rev 15924
eta-expansion
Wed, 04 May 2005 10:42:43 +0200
fixed lin.arith
changeset
nipkow [Wed, 04 May 2005 10:42:43 +0200] rev 15923
fixed lin.arith
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.
(0)
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip