git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 74d44eb) | patch

author	Anders <mortberg@chalmers.se>
	Mon, 13 Apr 2015 14:39:28 +0000 (16:39 +0200)
committer	Anders <mortberg@chalmers.se>
	Mon, 13 Apr 2015 14:39:28 +0000 (16:39 +0200)
commit	4ccf678a4ede6c4d307738faac7b17b26eb319cc
tree	505dd5f1f6a05900b75447f68cef871258136967	tree \| snapshot
parent	74d44ebe01c0e860e98d6581bd9479d6b276ae60	commit \| diff

Lots of cleaning in the examples

examples/bool.ctt		diff \| blob \| blame \| history
examples/circle.ctt		diff \| blob \| blame \| history
examples/discor.ctt		diff \| blob \| blame \| history
examples/equiv.ctt		diff \| blob \| blame \| history
examples/hedberg.ctt		diff \| blob \| blame \| history
examples/helix.ctt		diff \| blob \| blame \| history
examples/int.ctt		diff \| blob \| blame \| history
examples/interval.ctt		diff \| blob \| blame \| history
examples/nat.ctt		diff \| blob \| blame \| history
examples/prelude.ctt		diff \| blob \| blame \| history
examples/susp.ctt		diff \| blob \| blame \| history

My fork of cubicaltt with web interface using Reflex.