Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Repository
bd42e94898f5b30893e17c40571a019ae4381391
Switch branch/tag
why3
src
session
xml.mll
Find file
Blame
History
Permalink
xml parser : use @. instead of @\n otherwise the message
· bd42e948
François Bobot
authored
Jan 31, 2012
appears only if it is big enough (that give a strange behaviour ;) ) use debug flag
bd42e948
