updated history

svn: r12134
This commit is contained in:
John Clements 2008-10-26 23:38:09 +00:00
parent c8dbc9b798
commit 706a175e07

View File

@ -1,6 +1,10 @@
Stepper
-------
Changes for v4.1.2:
None.
Changes for v4.1.1:
Check-expect now reduces to a boolean in the stepper. Also, this history file