git.xn--bdkaa.com Git - cubicaltt-web.git/commit

]> git.xn--bdkaa.com Git - cubicaltt-web.git/commit

projects / cubicaltt-web.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 981e3eb) | patch

author	Anders Mörtberg <mortberg@chalmers.se>
	Tue, 5 May 2015 18:54:03 +0000 (20:54 +0200)
committer	Anders Mörtberg <mortberg@chalmers.se>
	Tue, 5 May 2015 18:54:03 +0000 (20:54 +0200)
commit	f00820846bfdb0738626e4e314c751499aa725a3
tree	18b7859b8d6b78fe5314aee90215dfd49b51283d	tree \| snapshot
parent	981e3eb720d93c1dee1b8cfab6676b0db8f03cf6	commit \| diff

Add new proof that loopS1 is a set
Remove unnecessary imports

examples/helix.ctt		diff \| blob \| history
examples/join.ctt		diff \| blob \| history
examples/mystery.ctt		diff \| blob \| history
examples/pi1s2.ctt	[moved from examples/pi1S2.ctt with 98% similarity]	diff \| blob \| history
examples/testall.ctt		diff \| blob \| history
examples/thm7312.ctt		diff \| blob \| history
examples/torus.ctt		diff \| blob \| history

My fork of cubicaltt with web interface using Reflex.