Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001795OCamlOCaml generalpublic2003-08-23 10:532003-08-26 15:22
Assigned To 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0001795: Wish: improvement
DescriptionFull_Name: Yamagata Yoriyuki
Version: 3.06
OS: Linux
Submission from: (

The current doesn't seem to follow GNU convention of info. In
particular, I'd like to suggest the following improvement.

1) It is better if chapters and sections are referred by their name, not
numbers. This change enables a user to use "m" command to jump desired sections
and chapters.

2) Make all chapters listed in the top index, while move licence conditions or
like to their own sections.

3) Remove decorative ****** and *=*=*=*

In general, I think it is preferable to create info from texi, not directly from
latex files by havea.

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
administrator (administrator)
2003-08-26 15:22

Looks like an Hevea issue...

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker