X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fhelp%2FC%2Fmatita.xml;h=0b52d39e5a28dc3515da4f5679016cf62feb2179;hb=b49683e0bc65391911be8b1e648ddb1ec61665b9;hp=89d9ee658e579b276d84cc2f19c8e1b929c6b35e;hpb=af9c6c84fe2d1a44517c5a7eca569889d452f7cd;p=helm.git
diff --git a/matita/help/C/matita.xml b/matita/help/C/matita.xml
index 89d9ee658..0b52d39e5 100644
--- a/matita/help/C/matita.xml
+++ b/matita/help/C/matita.xml
@@ -1,165 +1,117 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- Matita">
-
-
-
- TODO">
- MySQL ">
-
-
- id">
- uri">
- char">
- uri-step">
- nat">
- term">
- rec_def">
- match_pattern">
- match_branch">
- args">
- args2">
- sterm">
- intros-spec">
- pattern">
- reduction-kind">
+
+Enrico">
+ Tassi">
+ 21 Jun 2007">
+ 1">
+ gareuselesinge@debian.org">
+
+ matita">
+
+
+ Debian">
+ GNU">
+ GPL">
]>
-
-
-
-
- &app; V&appversion; User Manual (rev. &manrevision;)
-
-
-
+
+
+
+ &dhemail;
+
+
+ &dhfirstname;
+ &dhsurname;
+
- 2006
- The HELM team.
+ 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.
+
+
+
-
-
- 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
-
-
-
- Ferruccio
- Guidi
-
- fguidi@cs.unibo.it
-
-
-
-
-
- Both &appname; and this document are free software, you can
- redistribute them and/or modify them under the terms of the GNU General
- Public License as published by the Free Software Foundation. See for more information.
-
-
-
-
- &manrevision;
- &date;
-
-
-
-
-
-
-
-&intro;
-&install;
-&gettingstarted;
-&terms;
-&usernotation;
-&tactics;
-&tacticals;
-&othercommands;
-&license;
-
-
-
-