Welcome, Guest! Log In | Create Account

Share

HOL theorem-proving system

Tracker: Feature Requests


Advanced
Options  
RSS
Page: 1 2 Next »
1 - 10 of 20 Results - Display 
Search Results
ID Summary Status Opened Assignee Submitter Resolution Priority
ID Summary Status Opened Assignee Submitter Resolution Priority
Assignee: Status: Category: Group: Submitter: Keyword: Artifact ID: Permalink
1571141 Holmakefiles read on interactive startup Closed 2006-10-05 michaelnProject Admin michaelnProject Admin Accepted 5
1232051 New syntax for function-valued fields Open 2005-07-04 michaelnProject Admin michaelnProject Admin None 2
902467 Enrich thy$constant syntax Open 2004-02-23 michaelnProject Admin michaelnProject Admin None 3
879594 Record updates of polymorphic records Open 2004-01-19 michaelnProject Admin michaelnProject Admin None 5
818680 Holmake outputting dependencies Open 2003-10-06 michaelnProject Admin jeh1004 None 4
728015 New tactic: PAT_ABBREV_TAC? Closed 2003-04-26 michaelnProject Admin acjf3 Accepted 5
679330 Implicit rules for Holmake Open 2003-02-03 michaelnProject Admin michaelnProject Admin None 3
635581 Make large records more efficient Closed 2002-11-08 michaelnProject Admin michaelnProject Admin None 5
611879 An --interactive switch Closed 2002-09-19 michaelnProject Admin jeh1004 Accepted 5
608418 parse in context respect constant types Open 2002-09-12 michaelnProject Admin michaelnProject Admin None 5
Page: 1 2 Next »
1 - 10 of 20 Results - Display 

About SourceForge

Find Software

Develop Software

Community

Help

Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use