changeset 67470 | d36fcde7e2c0 |
parent 67430 | 149b742070e9 |
child 69343 | 395c4fb15ea2 |
--- 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