All entries for April 2006
April 19, 2006
Writing about web page http://www.dcs.warwick.ac.uk/~csucix/index.htmlThis is a screen shot of PLoTT in its latest incarnation. Hopefully this may enourage some more people to download it and let me know how they get on! Download PLoTT here!
April 18, 2006
Writing about web page http://www.dcs.warwick.ac.uk/~csucix/download.htmlI've had some feedback from Lee Herrington (thanks Lee!). It seems that PLoTT v0.1 didn't do enough validation on user entered formulae and as a result would output horrible Java errors to the command line. After having a brain wave on how to check that user entered formulae are well-formed, I implemented the code and have uploaded the changes.
April 17, 2006
Download it now!
Writing about web page http://www.dcs.warwick.ac.uk/~csucix/
You can now download PLoTT ("Propositional Logic Teaching Tool") from its website .
Any thoughts, comments or suggestions are welcome. In terms of future development, I intend to release the source code under the GPL should anyone wish to carry on with it. Please, if you have a spare five minutes and are interested in / have studied natural deduction, please give it a whirl and send me some feedback! Deadline for my report is 20th April, so anything you send could feature :)