diff options
Diffstat (limited to 'frontend/frontend.dcl')
| -rw-r--r-- | frontend/frontend.dcl | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/frontend/frontend.dcl b/frontend/frontend.dcl index 4b23a06..86aa0e3 100644 --- a/frontend/frontend.dcl +++ b/frontend/frontend.dcl @@ -3,8 +3,14 @@ */ definition module frontend +/*2.0 +from scanner import ::SearchPaths +from general import ::Optional, Yes, No +0.2*/ +//1.3 from scanner import SearchPaths from general import Optional, Yes, No +//3.1 import checksupport, transform, overloading :: FrontEndOptions |