equal
deleted
inserted
replaced
87 recently gained a rather large following of both beginning and expert |
87 recently gained a rather large following of both beginning and expert |
88 users of Isabelle. |
88 users of Isabelle. |
89 |
89 |
90 <p> |
90 <p> |
91 |
91 |
92 Proof~General may be used together with the Emacs |
92 Proof General may be used together with the Emacs |
93 <a href="http://www.fmi.uni-passau.de/~wedler/x-symbol/"> |
93 <a href="http://www.fmi.uni-passau.de/~wedler/x-symbol/"> |
94 X-Symbol package</a>, which provides a nice way to get proper |
94 X-Symbol package</a>, which provides a nice way to get proper |
95 mathematical symbols displayed on screen. |
95 mathematical symbols displayed on screen. |
96 |
96 |
97 |
97 |