Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. maded READMEs and docs a bit more instructive
Changeset 7603:477fcbe4afbb by blanchet:
maded READMEs and docs a bit more instructive
The file was modified thys/Lambda_Free_KBOs/README (diff)
The file was modified thys/Lambda_Free_KBOs/document/root.tex (diff)
The file was modified thys/Lambda_Free_RPOs/README (diff)