changeset 78150 | 2963ea647c2a |
parent 78149 | d3122089b67c |
child 78239 | 4fe65149f3fd |
--- a/NEWS Wed Jun 14 15:47:27 2023 +0200 +++ b/NEWS Thu Jun 15 17:20:09 2023 +1000 @@ -25,6 +25,8 @@ class.preorder.of_class.intro ~> preorder.intro_of_class class.order.of_class.intro ~> order.intro_of_class +* The Eisbach 'method' command now takes an optional description for +display with print_methods, similar to the 'method_setup' command. *** Document preparation ***