From 19f0019dad7bfd285d60fdcd1abf4f4d099696f9 Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Fri, 18 May 2007 00:13:52 +0200 Subject: [PATCH] - Removed another obsolete file. --- src/releases.txt | 33 --------------------------------- 1 file changed, 33 deletions(-) delete mode 100644 src/releases.txt diff --git a/src/releases.txt b/src/releases.txt deleted file mode 100644 index 0b33cf6..0000000 --- a/src/releases.txt +++ /dev/null @@ -1,33 +0,0 @@ -? bonk - - New partial order reduction method. - Maybe CLP/t4 - maybe MSC stuff - -2004-02-19 billionaire - - replace substitutions with implicit substitutions. - - many syntax updates. - - many speed improvements. - -2004-01-20 alpha1 - teehee_valley with a couple of minor bugfixes. - - Shows error line correctly on parse. - - Allows for multi-line comments. - -2004-01-20 teehee_valley - Nicely working role-based release, can test stdin scenario files. - - Preliminary untrusted support. - - Public, inversekeys are working. - - No tickets yet. - -2004-01-19 amoxicillin - Preliminary compiler test release. - - Compiler works in ptest, now we can integrate it into the main - part, and throw out the scenarios. - -2003 dead_ringers - A first working release. - - -t0 through -t2 implemented. - - Typed matching matches all basic terms. - - CLP matching works (-m2), but is not compatible with -t2. - - Hard coded protocols, inclusion through Makefile. -