puzzle-parity-permutations/ROOT at master · mbrcknl/puzzle-parity-permutations · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
session Lib = HOL +
  theories [document=false]
    "lib/LaTeX_Rule_Sugar"
    "lib/Lib"

session Puzzle = Lib +
  options
    [ document_variants=Puzzle
    , document_output=document
    , document=pdf
    ]
  theories
    "Puzzle"
  theories [document=false]
    "extras/Parity_Swap"
    "extras/Puzzle_Bottom_Up"
    "extras/Parity_Inversions"
    "extras/Parity_Extras"
    "extras/Parity_Merge_Sort"
  document_files
    "root.tex"
    "permute-3.tex"

session Talk = Lib +
  options
    [ document_variants=Talk
    , document_output=document
    , document=pdf
    ]
  theories
    "ylj17/Talk"
  document_files
    "root.tex"