diff options
| author | monate | 2003-05-14 16:21:44 +0000 |
|---|---|---|
| committer | monate | 2003-05-14 16:21:44 +0000 |
| commit | a020f056c15a274385183d22af2132f430868b2b (patch) | |
| tree | 9dff9909b2f7570ddedf5453b2fc2f30f062076e /kernel/declarations.ml | |
| parent | 05c1e8d802c326b28db14483390af2d83bd6d19a (diff) | |
coqide: .* on start/add \n on eof
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4022 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/declarations.ml')
0 files changed, 0 insertions, 0 deletions