README.html
changeset 13141 f4ed10eaaff8
parent 13016 c039b8ede204
child 14007 8c2b9750628f
equal deleted inserted replaced
13140:6d97dbb189a9 13141:f4ed10eaaff8
    86 users of Isabelle.
    86 users of Isabelle.
    87 
    87 
    88 <p>
    88 <p>
    89 
    89 
    90 Proof General may be used together with the Emacs
    90 Proof General may be used together with the Emacs
    91 <a href="http://www.fmi.uni-passau.de/~wedler/x-symbol/">
    91 <a href="http://x-symbol.sourceforge.net">
    92 X-Symbol package</a>, which provides a nice way to get proper
    92 X-Symbol package</a>, which provides a nice way to get proper
    93 mathematical symbols displayed on screen.
    93 mathematical symbols displayed on screen.
    94 
    94 
    95 
    95 
    96 <h2>Other sources of information</h2>
    96 <h2>Other sources of information</h2>