equal
deleted
inserted
replaced
21 "Package/Ind_Extensions" |
21 "Package/Ind_Extensions" |
22 "Appendix" |
22 "Appendix" |
23 "Recipes/Antiquotes" |
23 "Recipes/Antiquotes" |
24 "Recipes/TimeLimit" |
24 "Recipes/TimeLimit" |
25 "Recipes/Timing" |
25 "Recipes/Timing" |
26 "Recipes/CallML" |
|
27 "Recipes/ExternalSolver" |
26 "Recipes/ExternalSolver" |
28 "Recipes/Oracle" |
27 "Recipes/Oracle" |
29 "Recipes/Sat" |
28 "Recipes/Sat" |
30 "Recipes/USTypes" |
29 "Recipes/USTypes" |
31 "Solutions" |
30 "Solutions" |
54 "Package/Ind_Extensions" |
53 "Package/Ind_Extensions" |
55 "Appendix" |
54 "Appendix" |
56 "Recipes/Antiquotes" |
55 "Recipes/Antiquotes" |
57 "Recipes/TimeLimit" |
56 "Recipes/TimeLimit" |
58 "Recipes/Timing" |
57 "Recipes/Timing" |
59 "Recipes/CallML" |
|
60 "Recipes/ExternalSolver" |
58 "Recipes/ExternalSolver" |
61 "Recipes/Oracle" |
59 "Recipes/Oracle" |
62 "Recipes/Sat" |
60 "Recipes/Sat" |
63 "Recipes/USTypes" |
61 "Recipes/USTypes" |
64 "Solutions" |
62 "Solutions" |