Index of /~selinger/downloads/draggable

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [VID] Draggable-with-2.12.mov 2018-01-26 23:57 51M [TXT] draggableProof.pl 2018-01-24 00:20 8.6K [TXT] jquery.nestable.js 2018-01-24 00:20 39K [   ] LICENSE 2018-01-24 00:32 2.5K [VID] ProofDemo.mov 2018-01-24 00:20 5.4M [   ] ProofDemo.pg 2018-01-24 00:47 648 [VID] ProofVectorSpace.mov 2018-01-24 00:20 13M [   ] ProofVectorSpace.pg 2018-01-24 00:25 2.0K [   ] README 2018-01-24 00:53 936