calebegg / proof-pad-classic

An IDE for ACL2
http://proofpad.org
GNU General Public License v3.0
21 stars 4 forks source link

Might be more useful to measure user data events with timestamps relative to how long the program has been running, instead of absolute timestamps. #49

Open calebegg opened 12 years ago