[isabelle-dev] [PATCH 1 of 3] pretty: Add ScalaDoc comments to "Pure/General/pretty.scala"

David Greenaway david.greenaway at nicta.com.au
Thu Mar 21 07:14:07 CET 2013

 src/Pure/General/pretty.ML    |    4 +
 src/Pure/General/pretty.scala |  140 ++++++++++++++++++++++++++++++++++++++++-
 2 files changed, 139 insertions(+), 5 deletions(-)


The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: isabelle-mainline-1.patch
Type: text/x-patch
Size: 9908 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130321/28c83656/attachment-0002.bin>

More information about the isabelle-dev mailing list