Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Fri, 04 Aug 2017 08:12:37 +0200
provide explicit variant initializers for regular named target vs. almost-named target
changeset
haftmann [Fri, 04 Aug 2017 08:12:37 +0200] rev 66334
provide explicit variant initializers for regular named target vs. almost-named target
Fri, 04 Aug 2017 08:12:37 +0200
prefer explicit datatype over implicit sum;
changeset
haftmann [Fri, 04 Aug 2017 08:12:37 +0200] rev 66333
prefer explicit datatype over implicit sum; given up separate implementation to pretty-print locale specifications
Fri, 04 Aug 2017 08:12:37 +0200
compactified output
changeset
haftmann [Fri, 04 Aug 2017 08:12:37 +0200] rev 66332
compactified output
Thu, 03 Aug 2017 12:50:03 +0200
lifting setup for char
changeset
haftmann [Thu, 03 Aug 2017 12:50:03 +0200] rev 66331
lifting setup for char
Thu, 03 Aug 2017 12:50:02 +0200
one single plugin for code type declarations avoids problems when bootstrapping new plugins over types which have been both declared concrete and abstract in their code historiy
changeset
haftmann [Thu, 03 Aug 2017 12:50:02 +0200] rev 66330
one single plugin for code type declarations avoids problems when bootstrapping new plugins over types which have been both declared concrete and abstract in their code historiy
Thu, 03 Aug 2017 12:50:01 +0200
uniform namespace handling for both concrete and abstract types, following 32e0da92c786
changeset
haftmann [Thu, 03 Aug 2017 12:50:01 +0200] rev 66329
uniform namespace handling for both concrete and abstract types, following 32e0da92c786
Thu, 03 Aug 2017 12:50:00 +0200
clarified
changeset
haftmann [Thu, 03 Aug 2017 12:50:00 +0200] rev 66328
clarified
Thu, 03 Aug 2017 12:49:59 +0200
corrected slip
changeset
haftmann [Thu, 03 Aug 2017 12:49:59 +0200] rev 66327
corrected slip
Thu, 03 Aug 2017 12:49:58 +0200
tuned
changeset
haftmann [Thu, 03 Aug 2017 12:49:58 +0200] rev 66326
tuned
Thu, 03 Aug 2017 12:49:57 +0200
work around weakness in export calculation when generating OCaml code
changeset
haftmann [Thu, 03 Aug 2017 12:49:57 +0200] rev 66325
work around weakness in export calculation when generating OCaml code
(0)
-30000
-10000
-3000
-1000
-300
-100
-10
+10
+100
+300
+1000
+3000
+10000
tip