equal
deleted
inserted
replaced
1138 %W |
1138 %W |
1139 |
1139 |
1140 @Misc{x-symbol, |
1140 @Misc{x-symbol, |
1141 author = {Christoph Wedler}, |
1141 author = {Christoph Wedler}, |
1142 title = {Emacs package ``{X-Symbol}''}, |
1142 title = {Emacs package ``{X-Symbol}''}, |
1143 note = {\url{http://www.fmi.uni-passau.de/~wedler/x-symbol/}} |
1143 note = {\url{http://x-symbol.sourceforge.net}} |
1144 } |
1144 } |
1145 |
1145 |
1146 @manual{isabelle-sys, |
1146 @manual{isabelle-sys, |
1147 author = {Markus Wenzel and Stefan Berghofer}, |
1147 author = {Markus Wenzel and Stefan Berghofer}, |
1148 title = {The {Isabelle} System Manual}, |
1148 title = {The {Isabelle} System Manual}, |