Differences
This shows you the differences between two versions of the page.
| projects:eclipse [2016/10/30 18:23] – created sbs | projects:eclipse [2016/10/30 18:26] (current) – sbs | ||
|---|---|---|---|
| Line 6: | Line 6: | ||
| **Current Status:** The basic plugin has been created; some polishing is still needed. | **Current Status:** The basic plugin has been created; some polishing is still needed. | ||
| + | |||
| + | **Needed Work:** | ||
| + | * Handling of C-macros | ||
| + | |||
| + | **Possible Elaboration: | ||
| + | * Integration of the typechecker | ||
| + | * support for auto-correction | ||