]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2789e64) | 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>
Mon, 28 May 2018 09:08:58 +0000 (11:08 +0200)
commit4f1d4ac662d6aeb8e63ddcd4575f9ef6313a565b
treedbc93c02815b436bbf204a74f4ceda956abdd45ftree | snapshot
parent2789e644aa14fa9ac6a24ed3380c4052d57da5fbcommit | diff
Fixed problems separator in parser: now it is $

A separable problem's label may start with '!', a not separable's with '?'

(cherry picked from commit 71f8eb7befd85ff4911658136597b41ed177ff8c)
ocaml/parser.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.