[isabelle-dev] NEWS

Makarius makarius at sketis.net
Tue Apr 8 15:55:43 CEST 2008


* System: YXML notation provides a simple and efficient alternative to
standard XML transfer syntax.  See src/Pure/General/yxml.ML and
isatool yxml as described in the Isabelle system manual.



More information about the isabelle-dev mailing list