martinbaker 25af56b26b add links between sections		2019-12-15 09:45:47 +00:00
..
elaborator-reflection.rst	add links between sections	2019-12-15 09:45:47 +00:00
elabReflection.rst	rearrange documentation for elaborator reflection	2019-12-14 16:14:51 +00:00
example1.rst	rearrange documentation for elaborator reflection	2019-12-14 16:14:51 +00:00
generatingData.rst	rearrange documentation for elaborator reflection	2019-12-14 16:14:51 +00:00
holes.rst	rearrange documentation for elaborator reflection	2019-12-14 16:14:51 +00:00
index.rst	fix duplicate name	2019-12-14 16:59:37 +00:00
primitive.rst	rearrange documentation for elaborator reflection	2019-12-14 16:14:51 +00:00
tactics.rst	rearrange documentation for elaborator reflection	2019-12-14 16:14:51 +00:00