Menu

Feature Requests  Maximize  Restore

Showing 6 results of 6

# Summary Milestone Status Owner Created Updated
21 Rename HOL's Kernels None open Michael Norrish 2010-06-08 2010-06-11  
17 Record updates of polymorphic records None open Michael Norrish 2004-01-19 2004-01-19  
16 Holmake outputting dependencies None open Michael Norrish 2003-10-06 2003-10-13  
14 Implicit rules for Holmake None open Michael Norrish 2003-02-03 2003-07-10  
11 parse in context respect constant types None open Michael Norrish 2002-09-12 2012-12-10  
9 Make case expressions compute better in CBV_CONV None open 2002-08-29 2002-09-03  
  • Ticket Number
  • Summary
  • Milestone
  • Status
  • Owner
  • Creator
  • Created
  • Updated
  • Labels
 
(applies to this page only)
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.