diff options
author | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-02-01 08:57:47 +0000 |
---|---|---|
committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-02-01 08:57:47 +0000 |
commit | f7dba1c53fec7fe7ecefc4758e5a39c0010118b6 (patch) | |
tree | 10592ddedc0b5b8969f9508d8399fcdf1c2d5447 /doc/stdlib/index-list.html.template | |
parent | a55947f409f9ea0cb707c72cd5005726eebd33e5 (diff) |
Improved synchronisation of stdlib index page with current library state.
- Made generation of index page fail if a file is missing in list or
listed but unbound in existing theories
- Added a file hidden-files to optionally list library files not to show
in the index page (though it is currently empty)
- Added directory Unicode (why not to have it after all?)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14957 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/stdlib/index-list.html.template')
-rw-r--r-- | doc/stdlib/index-list.html.template | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template index de4b6de94..d688124d0 100644 --- a/doc/stdlib/index-list.html.template +++ b/doc/stdlib/index-list.html.template @@ -588,4 +588,11 @@ through the <tt>Require Import</tt> command.</p> theories/Program/Combinators.v </dd> + <dt> <b>Unicode</b>: + Unicode-based notations + </dt> + <dd> + theories/Unicode/Utf8_core.v + theories/Unicode/Utf8.v + </dd> </dl> |