Home Grammar Facts Reasoning Knowledge base Software Download

What's new

Wednesday 20 May 2015. A definition of when a Paragraph in a Development is Active for another Paragraph has been introduced, and used to simplify some other definitions. The definition of a Meaning has been simplified, and the definition of Related, and the rules for determining whether a Sentence is true or false, for a given Meaning, have been revised to take account of this. The definition of Allowed has been simplified, and the definition of a Fact has been revised to take account of this. The purpose of the conditions on a Regular Development has been explained. The justifications of Generalize and Abbreviate have been simplified. The definition of an Expansion has been removed, because it is no longer needed.

Monday 21 April 2014. Added Courier 10 Pitch and monospace as fall back font-family options for Verish text.

Thursday 31 January 2013. Version 0.01 of the Verish knowledge base published.

Thursday 31 January 2013. Verish 0.95 released. This includes implementations of two new automatic Methods, Some on assumption and Some on conclusion, and the following bug fixes:

Most of the former functionality of the exception handlers in main( ... ) in Verish.cpp has been moved into the functions that throw the exceptions, and the comments in Verish.cpp have been brought up to date.

Thursday 20 December 2012. The bug in the Vsh( ... ) Javascript fragment in the knowledge base pages, that resulted in Paragraphs near the ends of knowledge base pages jumping downwards, when a brown Method in them was clicked to hide a Method Application, has been fixed.

Monday 17 December 2012. Verish 0.9 released. Version 0.9 of the Verish knowledge base published. Verish 0.9 submitted to Freecode.

Page last updated 25 May 2018. Copyright (c) Chris Austin 1997 - 2018. Privacy policy