# HG changeset patch
# User wenzelm
# Date 1516370100 -3600
# Node ID d36fcde7e2c012d56be4e62b800f9f2c9eb20d50
# Parent  008725a1ed5264e34c85d408f4b6a970c01692e2
support for completion;

diff -r 008725a1ed52 -r d36fcde7e2c0 etc/symbols
--- 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