proof-general/twelf, branch master Emacs plugins for proof management systems Get rid of old-style backquotes 2018-01-16T19:43:00+00:00 Clément Pit--Claudel 2018-01-16T19:42:16+00:00 ca601291ddf22739847c629f2d687ab3f68b4786 Closes #221. Thanks @jwiegley! 
Closes #221.  Thanks @jwiegley!
Clean whitespace 2009-09-05T10:42:23+00:00 David Aspinall 2009-09-05T10:42:23+00:00 b35ce5388cfbd86b2be92e7acb56ff4aa215f58a 






Remove proof-shell-prompt-pattern, no longer used.
2009-09-04T16:42:57+00:00

David Aspinall

2009-09-04T16:42:57+00:00

17460bf8b246b7f26b390ca67145c11ee230de9d












Merge changes from Version4Branch.
2008-07-24T09:51:53+00:00

David Aspinall

2008-07-24T09:51:53+00:00

76d6b0b2b1f039549d308a0d2c478a6b05869af9












Emacs compatibility/API updates: string-to-int -> string-to-number
2007-12-10T11:47:45+00:00

David Aspinall

2007-12-10T11:47:45+00:00

9bc3f266832ec50c30802f60e4af5ef88aeadc69












Updated.
2004-04-15T08:00:56+00:00

David Aspinall

2004-04-15T08:00:56+00:00

a35b5be37664216deb2afb2ec63009637846d9cc












Remove X-symbol support from secondary provers temporarily
2004-04-14T17:25:52+00:00

David Aspinall

2004-04-14T17:25:52+00:00

50c5e88196ad1b7ab0483a9e23f9035733a89c2e












Update email and web addresses
2004-02-08T15:32:27+00:00

David Aspinall

2004-02-08T15:32:27+00:00

f65abf7bebf70421c7cd990db2ab688542c6de0b












Fixes so that compile works
2003-02-15T15:00:30+00:00

David Aspinall

2003-02-15T15:00:30+00:00

1b5cb37ff28fcaad44b3b41451bed997258f3592












Updated.
2002-08-29T09:17:10+00:00

David Aspinall

2002-08-29T09:17:10+00:00

7900815696e0736cab69b7fb90f240d98786b432