# HG changeset patch
# User haftmann
# Date 1161594306 -7200
# Node ID e694285770a24bcc0533c665e1c5314e2eedb77a
# Parent  cf6defa312095a43eb50d7b1e197d7b8d076fc1f
added option of Haskell serializer

diff -r cf6defa31209 -r e694285770a2 doc-src/IsarRef/logics.tex
--- a/doc-src/IsarRef/logics.tex	Mon Oct 23 11:05:05 2006 +0200
+++ b/doc-src/IsarRef/logics.tex	Mon Oct 23 11:05:06 2006 +0200
@@ -798,7 +798,7 @@
 
 class : nameref;
 
-seri : target | 'SML' ( string | '-' | ()) | 'Haskell' (string | ());
+seri : target | 'SML' ( string | '-' ) | 'Haskell' ( 'root:' string ) ? 'string\_classes' ? string;
 
 target : 'SML' | 'Haskell';
 
@@ -846,7 +846,10 @@
 
   For \emph{Haskell}, a directory name is specified; different modules
   are serialized to different files in this directory or
-  subdirectories, reflecting the module hierarchy.
+  subdirectories, reflecting the module hierarchy. Additionally
+  a module name prefix may be given using the ``root:'' argument;
+  ``string\_classes'' adds a ``deriving (Read, Show)'' clause
+  to each appropriate datatype declaration.
 
 \item [$\isarcmd{code_const}$] associates a list of constants
   with target-specific serializations.