changeset | a1aa62b472cf |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Change Basis.debug to use the protocol's debug function |
files |
changeset | d2ad997ca157 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Interface for setting memory limits |
files |