Skip to content
Snippets Groups Projects
user avatar
Michael Leuschel authored
it seems that is the standard behaviour now
this will also enable to send formulas over the ProB parser
repl in a single line, using 8232 as line seperator

Signed-off-by: default avatarMichael Leuschel <leuschel@uni-duesseldorf.de>
c75c09a3
History
Name Last commit Last update