100644 blob aff2054932f9236b94af44d3113b64c2d34745f0	MSIbuilding.md
100644 blob 9c093c090905353822cd85620faebca8f22f857f	MSIdebugging.md
100644 blob cd1f04b22a6b8da086eb4b36ae550b53ec6d5fed	MSIintro.md
100644 blob 48b711be0335bc6a520ac272e07a0af399209939	cache-actions.md
100644 blob e32b927b5c401d1351ba10a98cfb2164e9ad44b7	cache-declarations.md
100644 blob 028d33eeaf53049f12a5ab21bac26cd5d6b83cf2	cache-in-ports.md
100644 blob 5734efad53449767584bdbb88c92e54d97b59bdb	cache-intro.md
100644 blob 9c12e7a277ede8f9c6c04341f92af79ad9937192	cache-transitions.md
100644 blob 1db4eda1acc5108b5a682ad933c8faab3cf8460a	configuration.md
100644 blob 5a501178c837f438b004af68398495016fce69e8	directory.md
100644 blob 7664c3fde406ea49621f9d209242535915c4817d	running.md
100644 blob 1f5ec7e8534605c7e6e5961c0798488bd9b45657	simple-MI_example.md