diff options
| author | ppedrot | 2013-08-09 22:05:04 +0000 |
|---|---|---|
| committer | ppedrot | 2013-08-09 22:05:04 +0000 |
| commit | 70736feb562c19b2892dbd5bdc6727bd731bcab6 (patch) | |
| tree | 46cdc4329c014a95da91afc4bae86f097b3cbe6e /lib/errors.ml | |
| parent | fe727711d9d48b97505179c611d45cbbec6545ab (diff) | |
Adding the processed tag to comments in CoqIDE.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16693 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib/errors.ml')
0 files changed, 0 insertions, 0 deletions