]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c7e3997) | patch
Fixed problems separator in parser: now it is $
authoracondolu <andrea.condoluci@unibo.it>
Fri, 14 Jul 2017 18:32:20 +0000 (20:32 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Fri, 14 Jul 2017 18:32:20 +0000 (20:32 +0200)
commit71f8eb7befd85ff4911658136597b41ed177ff8c
tree69b92996425370af416c6f28bf07c4af4caeaef4tree | snapshot
parentc7e39970b94c93db45f2629af3fdb1e08371eca1commit | diff
Fixed problems separator in parser: now it is $

A separable problem's label may start with '!', a not separable's with '?'
ocaml/parser.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.