equal
deleted
inserted
replaced
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> |