Skip to content
Snippets Groups Projects
Select Git revision
  • develop default protected
  • master protected
  • kristin_optim_test
  • 3.9.0
  • 3.8.0
  • 3.7.0
  • 3.6.0
  • 3.5.0
  • 3.4.1
  • 3.4.0
  • 3.3.3
  • 3.3.2
  • 3.3.0
  • 3.2.14
  • 3.2.13
  • 3.2.12
16 results

sablecc-stups

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    treat unicode line and paragraph seperators as newlines
    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
    user avatar c75c09a3
    History
    Name Last commit Last update