Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
eliminated suspicious Unicode;
authorwenzelm
Fri, 01 Sep 2017 12:54:31 +0200
changeset 66588 e0e3065c63ba
parent 66587 bfabccdad18e
child 66589 b884c42694e0
eliminated suspicious Unicode;
src/Pure/Isar/locale.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/locale.ML	Fri Sep 01 12:52:46 2017 +0200
+++ b/src/Pure/Isar/locale.ML	Fri Sep 01 12:54:31 2017 +0200
@@ -16,7 +16,7 @@
 A comprehensive account of locales is available:
 
 [1] Clemens Ballarin. Locales: a module system for mathematical theories.
-    Journal of Automated Reasoning, 52(2):123–153, 2014.
+    Journal of Automated Reasoning, 52(2):123-153, 2014.
 
 See also:
isabelle