equal
deleted
inserted
replaced
47 |
47 |
48 * Update to jedit-5.4.0. |
48 * Update to jedit-5.4.0. |
49 |
49 |
50 |
50 |
51 *** HOL *** |
51 *** HOL *** |
|
52 |
|
53 * Constants E/L/F in Library/Formal_Power_Series were renamed to |
|
54 fps_exp/fps_ln/fps_hypergeo to avoid polluting the name space. |
|
55 INCOMPATIBILITY. |
52 |
56 |
53 * Constant "surj" is a full input/output abbreviation (again). |
57 * Constant "surj" is a full input/output abbreviation (again). |
54 Minor INCOMPATIBILITY. |
58 Minor INCOMPATIBILITY. |
55 |
59 |
56 * Theory Library/FinFun has been moved to AFP (again). INCOMPATIBILITY. |
60 * Theory Library/FinFun has been moved to AFP (again). INCOMPATIBILITY. |