All entries for April 2006

PLoTT Screenshot

Writing about web page http://www.dcs.warwick.ac.uk/~csucix/index.html

This 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!

: 19 Apr 2006 15:27 |  Comments (2) |  Close comments |  Report a problem

PLoTT v0.2

Writing about web page http://www.dcs.warwick.ac.uk/~csucix/download.html

I'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.

: 18 Apr 2006 15:34 |  Comments (0) |  Close comments |  Report a problem

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 :)

: 17 Apr 2006 20:48 |  Comments (1) |  Close comments |  Report a problem