proof-general/obsolete/demoisa, branch master Emacs plugins for proof management systems Remove compile-time calls to proof-ready-for-assistant 2017-03-08T20:06:17+00:00 Clément Pit--Claudel 2017-02-26T00:35:35+00:00 98f2e463287e3562dc7b7126e062919a8604ca4a Compilation used to run in a separate Emacs process for each file, but that's not what happens when installing PG with package.el. 
Compilation used to run in a separate Emacs process for each file, but that's not
what happens when installing PG with package.el.
Replace proof-terminal-char with proof-terminal-string. 2010-08-27T16:32:16+00:00 David Aspinall 2010-08-27T16:32:16+00:00 e1a327e5621d191fe408d12b331d05dda17b395c 






Renamed file obsolete/demoisa/demoisa.el, formerly demoisa/demoisa.el
2010-08-25T15:09:15+00:00

David Aspinall

2010-08-25T15:09:15+00:00

a2fb70e5e6010be459a01227f43b6d4d105be278












Renamed file obsolete/demoisa/demoisa-easy.el, formerly demoisa/demoisa-easy.el
2010-08-25T15:09:12+00:00

David Aspinall

2010-08-25T15:09:12+00:00

8df4063948265c0f0b8e967eafb9c091feed1f76












Renamed file obsolete/demoisa/README, formerly demoisa/README
2010-08-25T15:09:09+00:00

David Aspinall

2010-08-25T15:09:09+00:00

7fe13eaa8a9c26460db874eac8445e87ef1b4efa