Matthew Fernandez 5e7030cb0a libsel4: Name the user context struct. ... Without a name, this struct (and its typedef) comes out as an anonymous type when imported into Isabelle. This makes it difficult to automate proofs of functions that use this type. See also JIRA VER-434		2015-02-11 09:54:04 +11:00
..
arm	libsel4: Name the user context struct.	2015-02-11 09:54:04 +11:00
ia32	libsel4: Name the user context struct.	2015-02-11 09:54:04 +11:00