plugins/hide-show/README

   1 Plugin: hide-show
   2 Summary: hiding and showing line structures
   3 Release: 1.0
   4 TeXmacs: 1.0.3
   5 Author: David Allouche
   6 License: GNU Public License v2 or later
   7 Depends: interactive-proc buffer-replace
   8
   9 Wrap or unwrap all tags with a name in a given set in "hide" tags.
  10
  11 Also provide a command to remove all "hide" wrappers.