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.
support for completion;
authorwenzelm
Fri, 19 Jan 2018 14:55:00 +0100
changeset 67470 d36fcde7e2c0
parent 67469 008725a1ed52
child 67471 bddfa23a4ea9
support for completion;
etc/symbols file | annotate | diff | comparison | revisions 
--- a/etc/symbols	Fri Jan 19 11:36:29 2018 +0100
+++ b/etc/symbols	Fri Jan 19 14:55:00 2018 +0100
@@ -410,6 +410,7 @@
 \<^plugin>              argument: cartouche
 \<^print>
 \<^prop>                argument: cartouche
+\<^session>             argument: cartouche
 \<^simproc>             argument: cartouche
 \<^sort>                argument: cartouche
 \<^syntax_const>        argument: cartouche
isabelle