]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eeb6d21) | patch
Allow comments (#) at the end of terms
authoracondolu <andrea.condoluci@unibo.it>
Mon, 24 Jul 2017 14:15:53 +0000 (16:15 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 24 Jul 2017 15:22:34 +0000 (17:22 +0200)
commit6fc1858e757263b4e651f92fa8aaa3ecee1ab626
tree4b04be1331dc25da1e23f8055f011a0abdcb2ce9tree | snapshot
parenteeb6d213aac0f064babcb31ad6250be842d952b5commit | diff
Allow comments (#) at the end of terms
ocaml/parser.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.