]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d4cf91b) | patch
New measure which looks promising measure_tmp
authoracondolu <andrea.condoluci@unibo.it>
Tue, 18 Sep 2018 14:26:08 +0000 (16:26 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Tue, 18 Sep 2018 14:26:08 +0000 (16:26 +0200)
commit93e4a7b5d3d56c1bc480e554116bd5c344971ef2
tree5ef61fa9b2e9c521f69590fc362acf029ab8c37btree | snapshot
parentd4cf91b36dc5432622329132d9dbbd158879ca87commit | diff
New measure which looks promising

- idea of nesting in paths
- relies heavily on special k
  (behavior still not explained)
- interactive mode to experiment with stepping

Missing:
- auto
- finish
- check / purification
ocaml/simple.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.