Ticket #24 (new enhancement)

Opened 3 years ago

Last modified 3 years ago

add HierarchicalModules

Reported by: ijones Assigned to: malcolm.wallace@cs.york.ac.uk
Priority: major Milestone:
Component: Proposal Version:
Keywords: Cc:
Impact: normal Adopt: probably yes
Topic: Module System

Change History

01/24/06 07:13:40 changed by malcolm.wallace@cs.york.ac.uk

  • owner changed from ijones to malcolm.wallace@cs.york.ac.uk.

03/01/06 15:17:20 changed by john@galois.com

  • topic set to Module System.