proof-general/coq/TODO, branch master Emacs plugins for proof management systems Cleaned TODO file in coq/. 2015-09-29T11:22:21+00:00 Pierre Courtieu 2015-09-29T08:41:48+00:00 8f984a7272de74d8a88cffcef2ca6160d710b335 






fixed indentation (lexing of 'with') + made local coq-load-path.
2014-12-30T14:06:39+00:00

Pierre Courtieu

2014-12-30T14:06:39+00:00

b75bf02626b639bad8fe28796b7ee9163fd54323












fixed some small bugs in coq indentation smie code.
2011-11-10T12:12:32+00:00

Pierre Courtieu

2011-11-10T12:12:32+00:00

a2007818ad381dad0f489cbea8817df401e57c9f