[Bug 75] Warning instead of error when type is not found

From: <abc-bugs@comlab.ox.ac.uk>
Date: Tue Oct 03 2006 - 22:21:21 BST

http://abc.comlab.ox.ac.uk/cgi-bin/bugzilla/show_bug.cgi?id=75

eric@bodden.de changed:

What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|abc-bugs@comlab.ox.ac.uk |eric@bodden.de

------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.
Received on Tue Oct 03 22:17:52 2006

This message: [ Message body ]
Next message: Eric Bodden: "[abc] Concrete operational semantics"
Previous message: ganesh@earth.li: "Your Bugzilla buglist needs attention."

Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

This archive was generated by hypermail 2.1.8 : Tue Mar 06 2007 - 16:13:30 GMT