100644 blob 8a0a0878472175eb98f2b273208c9473f6846f61	MSIbuilding.md
100644 blob 8e6aaf766ce885682b86619f9ce4880927e0ca9f	MSIdebugging.md
100644 blob 9f63ddcd43decd79ac8456fad53ece86e4601a80	MSIintro.md
100644 blob c6e9a85a335b6e48a6d761c7e46eea69931ad6b4	cache-actions.md
100644 blob 76dfcb07b487cefe93ffa05697d06dbfd34c1f8e	cache-declarations.md
100644 blob 254f7fd5d32ede0df483eeadd61f14651a3d6287	cache-in-ports.md
100644 blob 0170a04aef968072d249b20af049f3d7723b8440	cache-intro.md
100644 blob 5df69026f065fde8617c5360824c697fae34163c	cache-transitions.md
100644 blob a32befffea9e1dc4d29ad7b32e237716ed6657d4	configuration.md
100644 blob 22f849cda9e26c6b65de2a49828e445be23573f9	directory.md
100644 blob e42fd39d2a7098b420659bde5b24664df9607e1d	running.md
100644 blob ead5fb1ca5230382407134489cbbaf06d1420178	simple-MI_example.md