search

SRI-CSL / PVS

The People's Verification System
http://pvs.csl.sri.com
GNU General Public License v2.0
139 stars 32 forks source link

Make the input box for console and proof manager resizable by the user #19

Closed happyhuman closed 11 years ago

happyhuman commented 11 years ago

This is done.