Commit message (Expand) | Author | Age | |
---|---|---|---|
* | This adds two option tables 'Printing Record' and 'Printing Constructor' | 2011-07-16 | |
* | This option disables the use of the '{| field := ... |}' notation | 2011-07-16 | |
* | Removed 'dest' from keyword highlighting. | 2009-10-30 | |
* | Adapted the emacs mode to font-lock. Re-using code from ProofGeneral. | 2009-05-28 |