Changes between Version 40 and Version 41 of Be a CIVL developer
- Timestamp:
- 02/02/17 05:10:09 (9 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Be a CIVL developer
v40 v41 42 42 alias civl='java -jar /Path/To/Your/workspace/CIVL/civl.jar' 43 43 }}} 44 44 a. From a terminal window, execute "civl config". This should find the theorem provers in your PATH and create a file .sarl in your home directory. 45 45 46 46
