Added delete button to commands.
tree62acf3066a1a659712dd846ae6f7bc8760bd18f8
-rw-r--r-- 35147 COPYING
-rw-r--r-- 330 README
-rw-r--r-- 782 TODO
-rw-r--r-- 7253 binary_counter.html
-rw-r--r-- 17899 digital_logic_simulator.html
-rw-r--r-- 1064 report.php
-rw-r--r-- 70842 turing_tarpit.html