jude bcbd407d7d Change buttons a bit. End turn option		2023-02-16 09:38:03 +00:00
..
barrier.js	Add barrier type. Transition into playing phase properly.	2023-02-02 11:27:52 +00:00
dom.js	Change buttons a bit. End turn option	2023-02-16 09:38:03 +00:00
index.js	show action list and remaining placements on a turn	2023-02-15 18:00:25 +00:00
map.js	show action list and remaining placements on a turn	2023-02-15 18:00:25 +00:00
packet.js	Change buttons a bit. End turn option	2023-02-16 09:38:03 +00:00
paillier.js	Store primes in sessionStorage to make reloading the page quicker.	2023-02-13 14:55:25 +00:00
player.js	show action list and remaining placements on a turn	2023-02-15 18:00:25 +00:00
random_primes.js	Fix bug in random generator. Correct a proof	2023-02-13 14:36:58 +00:00
random.js	Some paillier bits	2023-02-11 14:59:24 +00:00