!begin_node Changes in Version 7.12
!html_name  history_0712

(!PUBLISHED [UDO~7.12][on May 22, 2016])

!begin_description !compressed
!item [(!KW [top_title])]
      new command
!item [(!KW [node_title])]
      new command

!end_description

!end_node
