aboutsummaryrefslogtreecommitdiffstats
path: root/mps/code/prmc.h (follow)
Commit message (Expand)AuthorAgeFilesLines
* Fix indentation of second clause of license.Gareth Rees2020-08-301-3/+3
* Use https: instead of http: when linking to the ravenbrook web site.Gareth Rees2020-08-301-1/+1
* Publish licence updates in code directory.Peter Jackson2020-06-111-31/+19
* Use tags with dots; regularize design references from code.Gareth Rees2018-11-291-1/+1
* New modulefile prmcw3.c avoids duplication of code between prmcw3i3.c and prm...Gareth Rees2016-10-141-0/+8
* Initialization and checking of mutatorcontext data structures.Gareth Rees2016-10-131-0/+2
* Rename the "protection mutator context" module to "mutator context" (this mod...Gareth Rees2016-10-131-0/+68