diff options
| author | Dilip Sequiera | 1997-11-18 19:24:57 +0000 |
|---|---|---|
| committer | Dilip Sequiera | 1997-11-18 19:24:57 +0000 |
| commit | cf0e28eb1d0148fff53ad79d817e9330ddfe529e (patch) | |
| tree | eb65b30786c2df784017b2b5ba8e0dd7da8dc538 /todo | |
| parent | 2783aa1f5955cd865029c3f685a44d42e39c7e51 (diff) | |
Added indentation for lego-mode.
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -18,7 +18,7 @@ This is a list of things which need doing to the lego mode. require some work. * Indentation - LEGO should indent only with brackets; Coq for Inductive - definitions and 'case' constructs also. + definitions and 'case' constructs also. LEGO NOW DONE. * file handling could be more robust |