All entries for April 2006

April 19, 2006

PLoTT Screenshot

Writing about web page

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!


April 18, 2006

PLoTT v0.2

Writing about web page

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.

April 17, 2006

Download it now!

Writing about web page

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

April 2006

Mo Tu We Th Fr Sa Su
Mar |  Today  |
               1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30

Search this blog


Most recent comments

  • Thanks Darren, very very useful! by Anum on this entry
  • what is this site on haha by sam on this entry
  • omg by curtis on this entry
  • I have e–mailed this response to William: This is a "feature"; due to the way assumption boxes have … by on this entry
  • This is a great little program, but the line numbers don't line up for me. I'm using blackbox 0.7 as… by William Starling on this entry

Blog archive

Not signed in
Sign in

Powered by BlogBuilder