]> matita.cs.unibo.it Git - fireball-separation.git/commit
Clean-up in :andrea/ocaml
authoracondolu <andrea.condoluci@unibo.it>
Tue, 29 May 2018 08:33:06 +0000 (10:33 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Tue, 29 May 2018 14:33:30 +0000 (16:33 +0200)
commitf260a7ebcee70cc9b9930043d35ac44c96bd5ce5
tree4ca3506cf131077d9490753247752bafff4d62f0
parent38a57ad044d886ee8e6c4f8deae1bdc7cea93600
Clean-up in :andrea/ocaml

- Removed all lambda4 files
- Removed old versions of andrea
37 files changed:
ocaml/Makefile
ocaml/andrea.ml [new file with mode: 0644]
ocaml/andrea3.mli [deleted file]
ocaml/andrea4'.ml [deleted file]
ocaml/andrea4.ml [deleted file]
ocaml/andrea6.ml [deleted file]
ocaml/andrea7.ml [deleted file]
ocaml/andrea8.ml [deleted file]
ocaml/andrea9.ml [deleted file]
ocaml/lambda4.ml [deleted file]
ocaml/lambda4.mli [deleted file]
ocaml/listx.ml [deleted file]
ocaml/listx.mli [deleted file]
ocaml/logs/fail.txt [deleted file]
ocaml/measure.ml [deleted file]
ocaml/num.ml [deleted file]
ocaml/num.mli [deleted file]
ocaml/num.mli.ar [deleted file]
ocaml/problems.ml [deleted file]
ocaml/problems.mli [deleted file]
ocaml/problems/3col [deleted file]
ocaml/problems/bugs [deleted file]
ocaml/problems/m [deleted file]
ocaml/problems/n [deleted file]
ocaml/problems/o [deleted file]
ocaml/problems/p [deleted file]
ocaml/problems/q [deleted file]
ocaml/problems/solved [deleted file]
ocaml/problems/w [deleted file]
ocaml/ptest.ml [deleted file]
ocaml/pure.ml [deleted file]
ocaml/pure.mli [deleted file]
ocaml/run [deleted file]
ocaml/sat.ml [deleted file]
ocaml/sat.mli [deleted file]
ocaml/test.ml [deleted file]
ocaml/tmp.ml [deleted file]