Changes between Initial Version and Version 1 of Ticket #112


Ignore:
Timestamp:
Apr 5, 2007, 6:21:11 PM (17 years ago)
Author:
David Aspinall
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #112 – Description

    initial v1  
    11Any idea how I can get rid of the characters such as Ú that appear in the Isabelle shell buffer? XEmacs doesn't display them, but they appear if printed or pasted into other text files.
    22
     3{{{
    34+++    ~(c_BT_Obt_OLf t_a = c_BT_Obt_OLf t_a)Û
    45Ú+++ INFERENCE: Equality
    … …  
    910Ú+++   result type: boolÛ
    1011Ú
     12}}}
    1113
    1214