Fri, 04 Aug 2017 08:12:58 +0200 more structural sharing between common target Generic_Target.init
haftmann [Fri, 04 Aug 2017 08:12:58 +0200] rev 66337
more structural sharing between common target Generic_Target.init
Fri, 04 Aug 2017 08:12:57 +0200 exit always refers to the bottom of a nested local theory stack, after_close always to all non-bottom elements
haftmann [Fri, 04 Aug 2017 08:12:57 +0200] rev 66336
exit always refers to the bottom of a nested local theory stack, after_close always to all non-bottom elements
Fri, 04 Aug 2017 08:12:54 +0200 treat exit separate from regular local theory operations
haftmann [Fri, 04 Aug 2017 08:12:54 +0200] rev 66335
treat exit separate from regular local theory operations
Fri, 04 Aug 2017 08:12:37 +0200 provide explicit variant initializers for regular named target vs. almost-named target
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;
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
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
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
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
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
haftmann [Thu, 03 Aug 2017 12:50:00 +0200] rev 66328
clarified
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip