diff --git a/Changelog b/Changelog new file mode 100644 index 0000000..57f260b --- /dev/null +++ b/Changelog @@ -0,0 +1,17 @@ +--------------------- +- Scyther changelog - +--------------------- + +Scyther 1.0-beta5 + + * Change of switch semantics. '--max-attacks=N' now defines the + maximum number of attacks per claim. Previously this was a + global maximum for all claims combined. + * Improved attack graph output. + * added switch '--errors=FILE' to redirect standard error output + to a file. + * Rewrote parts of the gui code for improved stability. + +Scyther 1.0-beta4 + + * (Changelog starts after the release of Scyther 1.0-beta4) diff --git a/changelog.txt b/changelog.txt deleted file mode 100644 index ac9201a..0000000 --- a/changelog.txt +++ /dev/null @@ -1,11 +0,0 @@ -Recent changes (since beta 4): - -- --max-attacks is now per claim, and no longer global. -- more explicit output for intruder-generated terms. -- added switch '--errors=file' to redirect standard error output to a - file. -- Rewrote parts of the gui code for improved stability. - - - -