The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.
Get an email when there's a new version of Natural Deduction Planner
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| to p or not to p.gif | 2014-02-21 | 63.7 kB | |
| Totals: 1 Item | 63.7 kB | 0 | |
Proof Assistant, v 1.3.1 ======================== Initial Beta Release Date: 01/02/14 http://sourceforge.net/projects/proofassistant/ Support/Contact: http://sourceforge.net/projects/proofassistant/support For an explanation of general usage, visit http://sourceforge.net/p/proofassistant/wiki/Home/ Please post any issues or bugs to http://sourceforge.net/p/proofassistant/tickets/ You do not need a username =================== System Requirements =================== You need to have Java installed on your computer. You should check you have the latest version. - You can verify Java is installed by going to http://www.java.com/verify/ ============ Installation ============ - Download the file "ProofAssistant 1.3.1.jar" from http://sourceforge.net/projects/proofassistant/files/ - This file is an executable JAR file - no further installation is required. - When running, the Proof Assistant creates a .config file in the same directory as the ProofAssistant 1.3.1.jar. You may wish to move ProofAssistant 1.3.1.jar to its own folder because of this. ======= Running ======= - Double click ProofAssistant 1.3.1.jar to run the ProofAssistant - You can also run "ProofAssistant 1.3.1.jar" from the command line - With no arguments, identical to double clicking ProofAssistant 1.3.1.jar - With one argument, an ndp file to be opened - with two or more arguments, a proof to open with, in TeX macro form (advanced) ========= Copyright ========= This software is distributed under the MIT licence * The MIT License * * Copyright 2014 Declan Thompson. * * Permission is hereby granted, free of charge, to any person obtaining a copy * of this software and associated documentation files (the "Software"), to deal * in the Software without restriction, including without limitation the rights * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell * copies of the Software, and to permit persons to whom the Software is * furnished to do so, subject to the following conditions: * * The above copyright notice and this permission notice shall be included in * all copies or substantial portions of the Software. * * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN * THE SOFTWARE.