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:
Michael Leuschel <leuschel@uni-duesseldorf.de>
Name | Last commit | Last update |
---|