]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad04cfb) | patch
subst does not replace anymore in branches of maches
authoracondolu <andrea.condoluci@unibo.it>
Sun, 16 Jul 2017 14:01:21 +0000 (16:01 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Sun, 16 Jul 2017 17:35:13 +0000 (19:35 +0200)
commit8a90160900bb95133b8e204a4fcadaa2db2f11dd
tree8d10526f8ab0c9f482569830214656a671f4e9b8tree | snapshot
parentad04cfb31b56860cace4ab9969892942e931172dcommit | diff
subst does not replace anymore in branches of maches

It was unnecessary: a match cannot expand to a previous branch
ocaml/num.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.