| Version 1 (modified by , 14 years ago) (diff) |
|---|
A fancy expensive shiny machine that unfortunately doesn't run Proof General as fast as we'd like #324
| Version 1 (modified by , 14 years ago) (diff) |
|---|
A fancy expensive shiny machine that unfortunately doesn't run Proof General as fast as we'd like #324
