Nicer history
commit55253cd44bee00d44e77a3c14657a6dafcb1eee3
authormalc <av1474@comtv.ru>
Thu, 10 Jul 2014 01:56:33 +0000 (10 05:56 +0400)
committermalc <av1474@comtv.ru>
Thu, 10 Jul 2014 01:56:33 +0000 (10 05:56 +0400)
tree9eb3ec5197a5ae9f3909a8d8b4c5b4907fd11a44
parent17327c040a96c8842febaba370d88b955b21a3a4
Nicer history

Still bugged when narrowing.
main.ml