A fancy expensive shiny machine that unfortunately doesn't run Proof General as fast as we'd like #324
Last modified 14 years ago
Last modified on Aug 18, 2010, 4:20:26 PM
A fancy expensive shiny machine that unfortunately doesn't run Proof General as fast as we'd like #324