#1), Alfa now understands
#3, and so on.
Viewmenu are now updated to reflect the new settings after the
Open...command has been used. (See the 970902 entry.)
OKbutton, while in the former, you have to press Meta-Return. (The command line option
-multilineno longer has any effect.)
|Visible domain||Hidden domain|
$is no more! One (the last?) remnant from the V3 proof engine is gone. (In the V3 syntax, all constructor names began with
$, and this still showed up in some places in Alfa.) (The command line option
-boldconstrsno longer has any effect.)
packagedeclarations. These appear in the menu window together with commands for creating ordinary declarations.
openexpressions. It works the same way as the command for creating
caseexpressions. It allows both packages and structures to be opened.
openexpression, depending on the type of the variable.
opendeclarations. Make it possible to choose what to use when opening a package. Add commands to create package instance declarations.
letexpression and vice versa.
opendeclarations/expressions are recognized as a special case.
You can get back the old notation by using the flag
alfato specify a bitmap directory. This should be changed when installing Alfa on systems where X11 bitmaps aren't located in the usual place (i.e.,
=with two lines.
Cwdin the file selection window. This takes you to the current working directory. (It can be turned of with a setting in the script
-untypedmenu. The setting Show everything in scope is now the default, since...
caseexpressions are now restricted to occur only at the top level of expressions. This means that expressions of these kinds can always be referred to by name, which is good, since the type checker uses name equivalence.
opendeclarations. Known bug: the declaration is always created in the top level environment, so it might not work properly in other places.
_(underscores), indicating the placement of the arguments.
structures and definitions in signatures was corrected.
let x=e in xinto
let x=e in e.