Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+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
.
Sat, 16 Jan 2010 17:15:27 +0100
modernized syntax
changeset
haftmann [Sat, 16 Jan 2010 17:15:27 +0100] rev 34939
modernized syntax
Wed, 20 Jan 2010 11:54:19 +0100
fix issues with previous Nitpick change
changeset
blanchet [Wed, 20 Jan 2010 11:54:19 +0100] rev 34938
fix issues with previous Nitpick change
Wed, 20 Jan 2010 10:38:19 +0100
merged
changeset
blanchet [Wed, 20 Jan 2010 10:38:19 +0100] rev 34937
merged
Wed, 20 Jan 2010 10:38:06 +0100
some work on Nitpick's support for quotient types;
changeset
blanchet [Wed, 20 Jan 2010 10:38:06 +0100] rev 34936
some work on Nitpick's support for quotient types; quotient types are not yet in Isabelle, so for now I hardcoded "IntEx.my_int"
Thu, 14 Jan 2010 17:06:35 +0100
removed the Nitpick code that loaded the "Nitpick" theory explicitly if it's not already loaded, because this didn't work properly and is of doubtful value
changeset
blanchet [Thu, 14 Jan 2010 17:06:35 +0100] rev 34935
removed the Nitpick code that loaded the "Nitpick" theory explicitly if it's not already loaded, because this didn't work properly and is of doubtful value
Tue, 19 Jan 2010 17:53:11 +0100
Added transpose_rectangle, when the input list is rectangular.
changeset
hoelzl [Tue, 19 Jan 2010 17:53:11 +0100] rev 34934
Added transpose_rectangle, when the input list is rectangular.
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-6
+6
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip