| VES web update-download |
|
|
|
|
Update information: This WebUpdate installs the new Vithoulkas View 2006, made on the basis of the author references which George Vithoulkas has selected among the sources used for Synthesis 9.1. It can be applied to all versions of Synthesis 9.1. At the same time, we made some small corrections to the existing views: some recent provings were also shown in the "Quantum view - conservative", they are now only visible in the "Millennium View - progressive" (and in the "Full Synthesis" view). Check after injection: in the floating menu of Radar (fourth line from top) you should see "Advanced Views - !Vithoulkas View 2006" (in stead of "!Vithoulkas View"). Important note: If you made any changes to your views of Synthesis 9.1 which you want to keep, you should not install this WebUpdate as it will overwrite your personalized views. Please wait for a later release which will allow to do this.
Minimum Requirements: Radar 9.1 or higher (all languages) Installation instructions: Download the Vithoulkas VES webupdate (3.3 Mb)
For more information, contact Support. Please not that Support for RADAR & VES is only offered through the Archibel website. |






