xml-si xml-si-v3 xml xml-v3
* Set at least F="MANAGER QUOTE" for targets:
- export-coq export-matita export-lp1 export-lp2 export-tj2 export-tj3 export-cc0 export-lyp
+ export-coq export-matita export-lp1 export-lp2 export-tj2 export-tj3 export-pts export-lyp
* Type "make profile.opt" or "make profile.byte"
to validate the "grundlagen" 31 times (two runs each time)