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:

• in checking a use of +Ex, the Adverb is now checked to agree with the Noun in the first Clause that is replaced by a Phrase in the second Clause.
• in checking a use of +Gn/, the check that the Adverb does not Agree with a Name is now included.
• the allowed forms of +Sm/ are now as described.
• in checking a use of +Ab/, the check that the formation of the replaced sub-Sentence of the specified earlier Sentence is Legitimate is now included.
• the erroneous treatments of C++ strings as null-terminated character sequences, in Verish.cpp, that were due to incomplete migration from the use of C strings to using the C++ string class, have been corrected.
• when the -addMthApps option is used to add the Applications of the automatic Methods, and a use of +Rp/ is encountered where no Noun is replaced, so that the current Statement is the same as the specified earlier Statement, the program now stops processing +Ao Reasons, and puts an error message at the start of the output.
• a work-around has been introduced in chkTb( ... ) to avoid a segmentation fault that sometimes occurred during the check of a use of Tabulate, when the number of distinct Clauses was around 10 or more, and the first of the specified earlier Statements had just one Clause, for example +sm// +a +a. This resulted in very rapid sequences of calls of makeClsform( ... ), and the segmentation fault would occur at an unpredictable moment during a call of makeClsform( ... ). The work-around is to move one of the specified earlier Statements with the largest number of Clauses to the start of the list of the specified earlier Statements.

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