Timeline
Oct 11, 2014:
- 10:16 PM Ticket #498 (coq-compile-before-require should allow non-source installations) created by
- The attached patch makes
coq-compile-before-require
accept modules …
Oct 4, 2014:
- 2:55 PM Ticket #497 (coq auto-compile and spaces in directory names lead to failure) created by
- Proof general in emacs and with coq-compile-before-require set to t …
Note: See TracTimeline
for information about the timeline view.