Timeline

View changes from
going back days
by author

Milestones completed Tickets opened and closed Ticket updates Repository changesets Wiki changes

Oct 11, 2014:

10:16 PM Ticket #498 (coq-compile-before-require should allow non-source installations) created by coquser

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 coquser

Proof general in emacs and with coq-compile-before-require set to t …