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)

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks