Commit 2aa24d48 authored by Diederik van Arkel's avatar Diederik van Arkel
Browse files

platform dependant tools options

parent adc2ac41
...@@ -12,3 +12,7 @@ shoheapfun :: !*(PSt General) -> *PSt General ...@@ -12,3 +12,7 @@ shoheapfun :: !*(PSt General) -> *PSt General
provefun :: !*(PSt General) -> *PSt General provefun :: !*(PSt General) -> *PSt General
// launch theorem prover for active project // launch theorem prover for active project
:: ToolInfo
toolData :: !.Prefs !*(PSt General) -> *(!.ToolInfo,!*PSt General)
toolOptions :: !.ToolInfo -> NilLS .a *(PSt General)
...@@ -66,3 +66,12 @@ provefun ps ...@@ -66,3 +66,12 @@ provefun ps
= openNotice (Notice ["Unable to launch " +++ cps +++ "."] (NoticeButton "OK" id) []) ps = openNotice (Notice ["Unable to launch " +++ cps +++ "."] (NoticeButton "OK" id) []) ps
= ps = ps
:: ToolInfo = ToolInfo
toolData :: !.Prefs !*(PSt General) -> *(!.ToolInfo,!*PSt General)
toolData prefs ps
= (ToolInfo,ps)
toolOptions :: !.ToolInfo -> NilLS .a *(PSt General)
toolOptions ti
= NilLS
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment