diff options
author | 2005-09-15 21:54:18 +0000 | |
---|---|---|
committer | 2005-09-15 21:54:18 +0000 | |
commit | f250f29abdfdfa10566762feabb5be8b2d843f7d (patch) | |
tree | 6da1caaccaba413a028bae4650bfbd0afb3b7b3a /CHANGES | |
parent | 6fe10220c253d842b6bd1bdad89403eb4e4056ce (diff) |
added note for large x-symbols;
added proof-shell-unicode;
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -4,7 +4,14 @@ See also etc/release-log.txt for minor patches. * Summary of Changes for Proof General 3.6 from 3.5 -*** Large X-Symbol fonts added, courtesy of Clemens Ballarin +*** Large X-Symbol fonts added, courtesy of Clemens Ballarin + +May use option -f 18 or -f 24 of the Isabelle interface wrapper. + +*** UTF-8 support for 8-bit clean provers + +See proof-shell-unicode (default nil), or option -U of the Isabelle +interface wrapper. *** Improved compatibility with Coq 8 |