]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e922f4) | patch
Using C instead of @ to combine more convergents in p.conv
authoracondolu <andrea.condoluci@unibo.it>
Sun, 10 Jun 2018 15:28:28 +0000 (17:28 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Sun, 10 Jun 2018 15:28:28 +0000 (17:28 +0200)
commit4c8bae70924de6b904f150a0c4696554fbf9d5db
tree9f3cd5602a5945712503d214daec1b5e997bd639tree | snapshot
parent6e922f4eb4a947f1e3a9a957f465102e143164f1commit | diff
Using C instead of @ to combine more convergents in p.conv
ocaml/simple.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.