This is an abbreviation for Proof General Emacs.
Topic revision: r2 - 14 Nov 2007 - 17:46:45 - 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