search

asr / apia

Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic
MIT License
6 stars 0 forks source link

The use of the .apia files #33

Closed jonaprieto closed 8 years ago

jonaprieto commented 8 years ago

This pull request comes with a new feature to handle the distinct usages of Apia and takes advantage of all its functionalities. We add the .apia files to the game. Until now, changing the parameters by default for Apia to use more than one ATP or other option (see Apia --help) , it was possible only using the command line. Now, you can locate one file, .apia, in your home directory or wherever you are working and Apia will recognize the new configuration. The priority for the defaults values is as follows:

currentDirectory -> HomeDirectory -> Apia Defaults

Hope it helps.

asr commented 8 years ago

Why did you close the PR? Are you planning to create a new one?

jonaprieto commented 8 years ago

Yes, sure. I am just giving some order to the branches in my fork, add some code and then I'll make a PR.

El Wednesday, August 10, 2016, Andrés Sicard-Ramírez < notifications@github.com> escribió:

Why did you close the PR? Are you planning to create a new one?

— You are receiving this because you modified the open/close state. Reply to this email directly, view it on GitHub https://github.com/asr/apia/pull/33#issuecomment-238834017, or mute the thread https://github.com/notifications/unsubscribe-auth/ABXKeDLD95tCFO7BrUYJiNyPOSbxEonGks5qea74gaJpZM4JdFtx .

asr commented 8 years ago

OK. Please create a PR for every different modification.