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.
renamed "bow" to "frown";
authorwenzelm
Fri, 15 Sep 2000 00:16:08 +0200
changeset 9960 07521b6eb888
parent 9959 4a2ae974043d
child 9961 5a9626118941
renamed "bow" to "frown";
lib/encodings/isabelle-0 file | annotate | diff | comparison | revisions 
--- a/lib/encodings/isabelle-0	Thu Sep 14 18:37:44 2000 +0200
+++ b/lib/encodings/isabelle-0	Fri Sep 15 00:16:08 2000 +0200
@@ -102,7 +102,7 @@
 Leftarrow
 Midarrow
 Rightarrow
-bow
+frown
 mapsto
 leadsto
 up
isabelle