Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Coqide: allow the use of Abort (grant wish #2357) | 2011-05-18 | |
* | Add 'Existing Instances' declaration to declare multiple instances at once. | 2011-04-06 | |
* | Updated all headers for 8.3 and trunk | 2010-07-24 | |
* | fix bug #2318, parsing error on dos line endings | 2010-06-22 | |
* | Remove the svn-specific $Id$ annotations | 2010-04-29 | |
* | Changes in lexing and tagging. | 2010-02-25 | |
* | Fixing compilation issues | 2010-02-19 |