diff options
| author | gmelquio | 2009-10-29 16:17:29 +0000 |
|---|---|---|
| committer | gmelquio | 2009-10-29 16:17:29 +0000 |
| commit | 62249df04ebb55994dae33bc1fbe34d1d4dba95f (patch) | |
| tree | 51fc6f5e60421a6242421f3351905e7c6cd456c0 /plugins/syntax | |
| parent | ac27db8a4cdcc8f897e9580a832e0f3eb331cf6c (diff) | |
Fixed some typos in the reference manual.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12443 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions