Mike Sperber 69963a1f2c Fix bug in struct-wrap signature checking. ... Only check the fields if we know the struct type is right.		2011-01-06 13:53:51 +01:00
..
info.rkt	Add tool.rkt needed for "Disable Signature Check".	2010-12-15 08:17:57 +01:00
module-begin.rkt	Allow specifying arbitary expressions in a signature declaration.	2010-10-08 13:12:18 +02:00
signature-english.rkt	Provide English and German versions of deinprogramm/signature/signature.	2010-10-08 11:19:38 +02:00
signature-german.rkt	Provide English and German versions of deinprogramm/signature/signature.	2010-10-08 11:19:38 +02:00
signature-syntax.rkt	Don't use teach-equal?' for one-of' signature.	2010-11-26 11:10:29 +01:00
signature-unit.rkt	Fix bug in struct-wrap signature checking.	2011-01-06 13:53:51 +01:00
signature.rkt	Add menu item to disable signature checking.	2010-12-14 17:29:30 +01:00
tool.rkt	another module-body duplication	2010-12-15 12:28:09 -07:00