Announcements
Merging Declare and CPN Tools
As you may or may not know, I’m maintaining both Declare and CPN Tools. I would like to make some improvements to Declare, and instead of struggling with the Declare Editor, which is a bit annoying to work with for many tasks, I decided to instead integrate Declare functionality into CPN Tools. This means that […]
Declare Renaming
In some older papers, the Declare tool has been referred to as DECLARE and the language as ConDec. Starting from version 2.4 (due before the end of the year), the name changes to “Declare” (without quotes, of course), i.e., using normal lowercase. The reason is that Declare is not an abbreviation and all-uppercase words are […]
Connect
Connect with us on the following social media platforms.