| Age | Commit message (Expand) | Author |
|---|---|---|
| 2011-03-23 | Ide: stronger separation from coqtop | letouzey |
| 2011-01-06 | Reverted r13715 "Add improved indenters that rely on the current proof state ... | gmelquio |
| 2010-12-14 | Add improved indenters that rely on the current proof state to choose the ind... | gmelquio |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-06-07 | fixing error message display. | vgross |
| 2010-05-31 | CoqIDE goes multiprocess | vgross |
| 2010-05-31 | More indirection. | vgross |
| 2010-05-31 | Introducing strong typing for IDE - toplevel IPC | vgross |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |