Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005857OCamlOCamldocpublic2012-12-17 23:492013-07-11 22:52
Reportermeyer 
Assigned Toguesdon 
PrioritynormalSeverityfeatureReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0005857: OCamldoc could produce nice mathematical symbols
DescriptionIt would be nice to see unicode greek letters as type variables and unicode arrows in type definitions. For example enable in Emacs and tuareg mode:

(setq tuareg-font-lock-symbols t)
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2012-12-17 23:49 meyer New Issue
2012-12-17 23:49 meyer Status new => assigned
2012-12-17 23:49 meyer Assigned To => guesdon
2013-07-11 22:52 doligez Severity minor => feature


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker