search

msayyadi / rl-library

Automatically exported from code.google.com/p/rl-library
0 stars 0 forks source link

Windows support for proving app #151

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
We should get the proving app working on Windows.  Shouldn't be too hard
and would make things accessible to many more people.  Right now, the
proving app can't find RL_glue.

Original issue reported on code.google.com by brian.ta...@gmail.com on 9 Dec 2007 at 2:14

GoogleCodeExporter commented 8 years ago

Original comment by brian.ta...@gmail.com on 14 Dec 2007 at 5:57

GoogleCodeExporter commented 8 years ago 
RL-Glue, all of our scripts, and the Proving App now work on Windows.

Original comment by brian.ta...@gmail.com on 14 Dec 2007 at 9:13