X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fhelp%2FC%2Fmatita.xml;h=0b52d39e5a28dc3515da4f5679016cf62feb2179;hb=b49683e0bc65391911be8b1e648ddb1ec61665b9;hp=ab08a6f9c5354ac466f460a55d20119db965460e;hpb=2462b1e4da42c76932f52de9b37aa96cc9a5e4e0;p=helm.git
diff --git a/matita/help/C/matita.xml b/matita/help/C/matita.xml
index ab08a6f9c..0b52d39e5 100644
--- a/matita/help/C/matita.xml
+++ b/matita/help/C/matita.xml
@@ -1,198 +1,117 @@
-
-
-
-
-
-
-
-
-
- Matita">
-
-
-
- TODO">
+
+Enrico">
+ Tassi">
+ 21 Jun 2007">
+ 1">
+ gareuselesinge@debian.org">
+
+ matita">
+
+
+ Debian">
+ GNU">
+ GPL">
]>
-
-
-
-
-
- &app; V&appversion; Manual (rev. &manrevision;)
-
-
- 2006
- The HELM team.
-
-
-
-
-
-
- &license;
-
-
-
-
- Andrea
- Asperti
-
- asperti@cs.unibo.it
-
-
-
- Claudio
- Sacerdoti Coen
-
- sacerdot@cs.unibo.it
-
-
-
- Enrico
- Tassi
-
- tassi@cs.unibo.it
-
-
-
- Stefano
- Zacchiroli
-
- zacchiro@cs.unibo.it
-
-
-
-
-
-
-
- &appname; V&appversion; Manual (rev. &manrevision;)
- &date;
-
- The HELM team
-
-
-
-
-
-
- 0.0
- 4 February 2006
- HELM
-
- First draft completed.
-
-
-
-
-
- This manual describes version &appversion; of &appname;.
-
-
-
- Feedback
- To report a bug or make a suggestion regarding the &app;
- application or this manual, follow the directions in the
- HELM Bug
- Tracking System Page.
-
-
-
-
-
-
-
- Matita
-
-
-
-
-&intro;
-&install;
-&terms;
-&tactics;
-
-
-
-
- License
- &license;
-
-
-
-
+
+
+
+ &dhemail;
+
+
+ &dhfirstname;
+ &dhsurname;
+
+
+ 2007
+ &dhusername;
+
+ &dhdate;
+
+
+ &dhucpackage;
+
+ &dhsection;
+
+
+ &dhpackage;
+
+ creates XML data file for Vim7 omni completion from
+ DTDs
+
+
+
+ &dhpackage;
+ filename.dtd
+ dialectname
+
+
+
+
+ DESCRIPTION
+
+ This manual page documents brieftly the
+ &dhpackage; program. For more information see its HTML
+ documentation in
+ /usr/share/doc/vim-scripts/html/dtd2vim.html.
+
+
+ Starting from version 7 Vim supports context aware completion of XML
+ files (and others). In particular, when the file being edited is an XML
+ file, completion can be driven by the grammar extracted from a Document
+ Type Definition (DTD).
+
+ For this feature to work the user should put an XML data file
+ corresponding to the desired DTD in a autoload/xml
+ directory contained in a directory belonging to Vim's
+ 'runtimepath' (for example
+ ~/.vim/autoload/xml/).
+
+ &dhpackage; is the program that creates XML data
+ files from DTDs. Given as input a DTD
+ file.dtd it will create a
+ file.vim XML data file.
+ dialectname will be part of dictionary name
+ and will be used as argument for the :XMLns command.
+
+
+
+
+
+ OPTIONS
+
+ None.
+
+
+
+ SEE ALSO
+
+ vim (1).
+
+ In the Vim online help: :help compl-omni,
+ :help ft-xml-omni, :help
+ :XMLns.
+
+ dtd2vim is fully documented in
+ /usr/share/doc/vim-scripts/html/dtd2vim.html.
+
+
+
+
+ AUTHOR
+
+ This manual page was written by &dhusername; &dhemail; for the
+ &debian; system (but may be used by others). Permission is granted to
+ copy, distribute and/or modify this document under the terms of the &gnu;
+ General Public License, Version 2 any later version published by the Free
+ Software Foundation.
+
+ On Debian systems, the complete text of the GNU General Public
+ License can be found in /usr/share/common-licenses/GPL.
+
+
+
+