search

delcypher / freeboogie

Automatically exported from code.google.com/p/freeboogie
0 stars 1 forks source link

basic eclipse pligin #21

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
The current FreeBoogie plugin doesn't do anything useful. There should be
an editor and a way to run FreeBoogie on a Boogie file.

Original issue reported on code.google.com by radugrig...@gmail.com on 31 Jul 2009 at 5:01