git.ak3n.com - cubicaltt.git/commit

author	coquand <coquand@chalmers.se>
	Fri, 3 Jul 2015 11:28:57 +0000 (13:28 +0200)
committer	coquand <coquand@chalmers.se>
	Fri, 3 Jul 2015 11:28:57 +0000 (13:28 +0200)
commit	aa6cdbb5747994db0abbc106ed325bd176f080a1
tree	105e3f340f6495bffb131ff990092ef5a11a2c8a	tree \| snapshot
parent	829b5cd999d1ec5cc3e80bb0f6c79c95ca9f9529	commit \| diff

removed some examples (to be updated)

22 files changed:

examples/booltest.ctt	[deleted file]	blob \| blame \| history
examples/list.ctt		diff \| blob \| blame \| history
experiments/deppath.ctt	[moved from examples/deppath.ctt with 100% similarity]	blob \| blame \| history
experiments/exchange.ctt	[moved from examples/exchange.ctt with 100% similarity]	blob \| blame \| history
experiments/helix.ctt	[moved from examples/helix.ctt with 100% similarity]	blob \| blame \| history
experiments/hopf.ctt	[moved from examples/hopf.ctt with 100% similarity]	blob \| blame \| history
experiments/join.ctt	[moved from examples/join.ctt with 100% similarity]	blob \| blame \| history
experiments/mystery.ctt	[moved from examples/mystery.ctt with 100% similarity]	blob \| blame \| history
experiments/other.ctt	[moved from examples/other.ctt with 100% similarity]	blob \| blame \| history
experiments/pi1S2output.ctt	[moved from examples/pi1S2output.ctt with 100% similarity]	blob \| blame \| history
experiments/pi1s2.ctt	[moved from examples/pi1s2.ctt with 100% similarity]	blob \| blame \| history
experiments/pi4s3.ctt	[moved from examples/pi4s3.ctt with 100% similarity]	blob \| blame \| history
experiments/pointed.ctt	[moved from examples/pointed.ctt with 100% similarity]	blob \| blame \| history
experiments/s2.ctt	[moved from examples/s2.ctt with 100% similarity]	blob \| blame \| history
experiments/set.ctt	[moved from examples/set.ctt with 100% similarity]	blob \| blame \| history
experiments/setTrunc.ctt	[moved from examples/setTrunc.ctt with 100% similarity]	blob \| blame \| history
experiments/testall.ctt	[moved from examples/testall.ctt with 100% similarity]	blob \| blame \| history
experiments/thm7312.ctt	[moved from examples/thm7312.ctt with 100% similarity]	blob \| blame \| history
experiments/torus.ctt	[moved from examples/torus.ctt with 100% similarity]	blob \| blame \| history
experiments/truncS2.ctt	[moved from examples/truncS2.ctt with 100% similarity]	blob \| blame \| history
experiments/uafunext1.ctt	[moved from examples/uafunext1.ctt with 100% similarity]	blob \| blame \| history
experiments/uafunext2.ctt	[moved from examples/uafunext2.ctt with 100% similarity]	blob \| blame \| history

My fork of cubicaltt with web interface using Reflex.

RSS Atom