24 Commits

Author	SHA1	Message	Date
Zeno Rogue	80b6b536fc	sn:: solv-table generator: improve table (to compute shortest geodesics), bugfixer, visualizer	2020-01-16 17:13:47 +01:00
Zeno Rogue	e964ede86d	sn:: solv-table generator: more precise ix_to_x	2020-01-16 17:13:47 +01:00
Zeno Rogue	549aa5bdb1	sn:: changed table presentation to Poincare	2020-01-16 17:13:47 +01:00
Zeno Rogue	9ab5c7d98f	updated solv_table	2020-01-16 17:13:47 +01:00
Zeno Rogue	a5df7eb0dc	manual-animation: keys , and . for zoom	2020-01-02 16:52:42 +01:00
Zeno Rogue	66e040bbc9	f key no longer works outside of normal	2020-01-02 16:52:23 +01:00
Zeno Rogue	0d2e660fa4	manual-animation: updated to new names	2020-01-02 16:52:12 +01:00
Zeno Rogue	56a96581eb	updated manual-animation	2019-12-06 12:13:47 +01:00
Zeno Rogue	38414c65b4	devmods/edit-shaders:: resolved name conflict	2019-10-25 14:50:03 +02:00
Zeno Rogue	25d2f6242e	manual-animation:: cleaner skipping	2019-10-21 22:39:29 +02:00
Zeno Rogue	8f6f7bec71	manual-animation:: added [] to save animation (works in crystal)	2019-10-21 22:38:51 +02:00
Zeno Rogue	ace7214ee4	manual-animation:: more messages in general	2019-10-21 22:37:37 +02:00
Zeno Rogue	e81f697705	junk remove	2019-10-21 22:36:48 +02:00
Zeno Rogue	9a74cb2019	manual-animation:: number keys now show what specifically changed	2019-10-21 22:36:21 +02:00
Zeno Rogue	f3f61a1337	manual-animation:: crosshair displayed only when keys_on	2019-10-21 22:35:45 +02:00
Zeno Rogue	e873f731d3	devmods:: easier to use solv-table	2019-10-05 18:53:51 +02:00
Zeno Rogue	09a4849a72	devmods:: fixed naming in manual-animation	2019-10-04 17:11:00 +02:00
Zeno Rogue	35cf9ac57f	devmods:: fixed filenames in manual-animation	2019-10-04 13:05:50 +02:00
Zeno Rogue	78c0d8b3c4	devmods:: fixed filenames in edit-shaders	2019-10-04 13:05:38 +02:00
Zeno Rogue	73267486e9	more elegant solv-table	2019-10-03 20:11:24 +02:00
Zeno Rogue	46d127401e	nih improvements	2019-10-02 19:22:43 +02:00
Zeno Rogue	d6ab96f821	non-isotropic hyperbolic space	2019-10-01 05:03:46 +02:00
Zeno Rogue	2e571ab337	devmods:: autoplay added	2019-09-30 01:51:16 +02:00
Zeno Rogue	3caec11dfa	added some devmods	2019-09-12 23:14:51 +02:00