1 |
|
2 |
|
3 |
1 |
4 Isabelle NEWS -- history of user-visible changes |
2 Isabelle NEWS -- history of user-visible changes |
5 ================================================ |
3 ================================================ |
6 |
4 |
7 New in Isabelle98? (???) |
5 New in Isabelle??? (FIXME) |
8 ----------------------- |
6 -------------------------- |
9 |
7 |
10 * changed wrapper mechanism for the classical reasoner now allows for selected |
8 * changed wrapper mechanism for the classical reasoner now allows for selected |
11 deletion of wrappers, by introduction of names for wrapper functionals. |
9 deletion of wrappers, by introduction of names for wrapper functionals. |
12 This implies that addbefore, addSbefore, addaltern, and addSaltern now take |
10 This implies that addbefore, addSbefore, addaltern, and addSaltern now take |
13 a pair (name, tactic) as argument, and that adding two tactics with the same |
11 a pair (name, tactic) as argument, and that adding two tactics with the same |
14 name overwrites the first one (emitting a warning). |
12 name overwrites the first one (emitting a warning). |
15 setWrapper, setSWrapper, compWrapper and compSWrapper are replaced by |
13 setWrapper, setSWrapper, compWrapper and compSWrapper are replaced by |
16 addWrapper, addSWrapper: claset * wrapper -> claset |
14 addWrapper, addSWrapper: claset * wrapper -> claset |
17 delWrapper, delSWrapper: claset * string -> claset |
15 delWrapper, delSWrapper: claset * string -> claset |
18 getWrapper is renamed to appWrappers, getSWrapper to appSWrappers; |
16 getWrapper is renamed to appWrappers, getSWrapper to appSWrappers; |
|
17 |
19 |
18 |
20 |
19 |
21 New in Isabelle98 (January 1998) |
20 New in Isabelle98 (January 1998) |
22 -------------------------------- |
21 -------------------------------- |
23 |
22 |