git.ak3n.com - cubicaltt.git/commit

projects / cubicaltt.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 4df2670) | patch

author	Anders <mortberg@chalmers.se>
	Thu, 18 Jun 2015 16:45:17 +0000 (18:45 +0200)
committer	Anders <mortberg@chalmers.se>
	Thu, 18 Jun 2015 16:45:17 +0000 (18:45 +0200)
commit	ded3dc64bdb70f454ff2973a9ad9e4b9e926e09d
tree	c40f7fc949106200a49323e7cd1d1fb9df0b058c	tree \| snapshot
parent	4df26701dfe05d5eba09655812e79036662190e3	commit \| diff

Update README and update demo.ctt

README.md		diff \| blob \| blame \| history
examples/bool.ctt		diff \| blob \| blame \| history
examples/circle.ctt		diff \| blob \| blame \| history
examples/demo.ctt		diff \| blob \| blame \| history
examples/gradLemma.ctt		diff \| blob \| blame \| history
examples/int.ctt		diff \| blob \| blame \| history
examples/integer.ctt		diff \| blob \| blame \| history
examples/pi.ctt		diff \| blob \| blame \| history

My fork of cubicaltt with web interface using Reflex.