|
CircleDot.html
|
2013-08-14
|
Ken Monks
|
[dcea97]
One formatting tweak and one typo fix.
|
|
CircleDot.js
|
2013-06-12
|
Nathan Carter
|
[e53d11]
Moving contents of Lurch subfolder out to main ...
|
|
Introduction.html
|
2013-08-05
|
Ken Monks
|
[e32bab]
Removing a tiny 's' that was accidentally in th...
|
|
LineProofs.js
|
2013-06-12
|
Nathan Carter
|
[e53d11]
Moving contents of Lurch subfolder out to main ...
|
|
README
|
2013-08-04
|
Ken Monks
|
[94dd1e]
Updating the ToyProofs suite to work as a web a...
|
|
Scrambler.html
|
2013-08-05
|
Ken Monks
|
[e32bab]
Removing a tiny 's' that was accidentally in th...
|
|
Scrambler.js
|
2013-06-12
|
Nathan Carter
|
[e53d11]
Moving contents of Lurch subfolder out to main ...
|
|
TriXGame.html
|
2013-08-05
|
Ken Monks
|
[54f438]
Another typo fix.
|
|
TriXGame.js
|
2013-06-12
|
Nathan Carter
|
[e53d11]
Moving contents of Lurch subfolder out to main ...
|
|
index.html
|
2013-08-04
|
Ken Monks
|
[94dd1e]
Updating the ToyProofs suite to work as a web a...
|
|
lurch.css
|
2013-08-04
|
Ken Monks
|
[2fd820]
Revamped the entire only Toy Proofs site to imp...
|
|
lurchutils.js
|
2013-06-12
|
Nathan Carter
|
[e53d11]
Moving contents of Lurch subfolder out to main ...
|
|
post
|
2013-08-04
|
Ken Monks
|
[94dd1e]
Updating the ToyProofs suite to work as a web a...
|
|
post.sh
|
2013-06-12
|
Nathan Carter
|
[e53d11]
Moving contents of Lurch subfolder out to main ...
|
|
toyproofs-circledot.html
|
2013-08-05
|
Ken Monks
|
[daca99]
Removing separate target windows from all but t...
|
|
toyproofs-scrambler.html
|
2013-08-05
|
Ken Monks
|
[daca99]
Removing separate target windows from all but t...
|
|
toyproofs-trixgame.html
|
2013-08-05
|
Ken Monks
|
[daca99]
Removing separate target windows from all but t...
|
|
toyproofs.css
|
2013-08-14
|
Ken Monks
|
[dcea97]
One formatting tweak and one typo fix.
|
|
toyproofs.js
|
2013-06-12
|
Nathan Carter
|
[e53d11]
Moving contents of Lurch subfolder out to main ...
|