lib/logo/isabelle_holcf.gif
author wenzelm
Thu, 28 Aug 2008 00:33:17 +0200
changeset 28037 915b9a777441
parent 3799 d00f6460ac4d
permissions -rw-r--r--
changed Markup print mode to YXML -- explicitly decode messages before being issued; changed Output print mode to plain default -- no escaping; simplified pgml_sym: produce Pgml.pgmlatom, no special treatment of Ctrl/Raw; removed unused issue_pgips; removed obsolete delay_msgs feature -- the script parser never fails, but produces inline error markup; removed obsolete wrap_pgml; explicit transformation of messages (pgml_terms and message_content); remove obsolete split_markup workaround; misc tuning;

(binary:image/gif)