Bugs in Proof General Eclipse

__At the moment the important issues are mentioned in PGEclipseFixesNeeded, but many more are known. Unless you have a serious problem with a released version which does not seem to be known about (e.g. errors switching to perspective/views; installing the product) please do not report your bug yet__

Current List of Known Bugs/Issues

Problems Installing PG/Eclipse

See PGEclipseInstallProbs

Windows Processes

Incredible as it may seem, MS Windows does not support 2-way command-line communication between processes. Hence Proof General cannot communicate with a command-line prover running on Windows. There are two options for Windows users:

  1. Socket-based communication is fine. Configure/re-write your theorem prover so that it can communicate via sockets and all will be well.
  2. If you work on a Windows box, but have network access to a Linux box, you can run the theorem prover remotely using TPWrapper (see the install page).

New bug reports and search existing reports

Please visit the Proof General Trac

Topic revision: r8 - 11 Jul 2007 - 13:39:36 - DavidAspinall
 
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies