Dependencies for free-theorems-webui-0.2
free-theorems-webui.cgi | |
---|---|
free-theorems-webui |
|
Flags
Automatic Flags
Name | Description | Default |
---|---|---|
our_server | Use the path configuration from "our_server_config/" instead of "default_config/". After compilation, the application will only work with the folder layout on our server. See "our_server_config/Paths.hs" for details. | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info