From 4b1fbe2ba0fdf228beab71f2c6f0f1801f6bd549 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 26 May 2016 11:30:16 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11368 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 2fa0dd60..1547e431 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -1,6 +1,6 @@ This file contains details of the changes in each new version of PRISM. -Recent changes: (up to svn rev 10687) +Recent changes: (up to svn rev 10893) * Timeout feature (-timeout switch) * Built-in support for Nailgun client/server