haftmann [Fri, 04 Aug 2017 08:12:58 +0200] rev 66337
more structural sharing between common target Generic_Target.init
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
haftmann [Fri, 04 Aug 2017 08:12:54 +0200] rev 66335
treat exit separate from regular local theory operations
haftmann [Fri, 04 Aug 2017 08:12:37 +0200] rev 66334
provide explicit variant initializers for regular named target vs. almost-named target
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
haftmann [Fri, 04 Aug 2017 08:12:37 +0200] rev 66332
compactified output
haftmann [Thu, 03 Aug 2017 12:50:03 +0200] rev 66331
lifting setup for char
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