]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 640e767) | patch
Real evil problem found!
authoracondolu <andrea.condoluci@unibo.it>
Mon, 11 Jun 2018 14:22:04 +0000 (16:22 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 11 Jun 2018 14:36:17 +0000 (16:36 +0200)
commit3bf7726706488e3343d751e55e78159505757055
tree675933b5d4f38d7e105b6e69a8cdce02d2e5c3c6tree | snapshot
parent640e7671fac6bebe8debe37dba052018c3b4c76fcommit | diff
Real evil problem found!

One must store arguments for later usage :-(
ocaml/problems/simple.evil [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.