![[Jenkins]](/jenkins/static/858a1f95/images/svgs/logo.svg){kind=logo}
Summary
- corrected some URLs
| The file was modified | thys/Dependent_SIFUM_Refinement/document/root.bib (diff) |
| The file was modified | thys/Dependent_SIFUM_Type_Systems/document/root.bib (diff) |
| The file was modified | thys/Groebner_Bases/document/root.bib (diff) |
| The file was modified | thys/Multivariate_Polynomials/document/root.bib (diff) |
| The file was modified | thys/Noninterference_Concurrent_Composition/document/root.bib (diff) |
| The file was modified | thys/Noninterference_Sequential_Composition/document/root.bib (diff) |
| The file was modified | thys/Ordinary_Differential_Equations/document/root.bib (diff) |
| The file was modified | thys/Perron_Frobenius/document/root.bib (diff) |
| The file was modified | thys/ROBDD/document/root.bib (diff) |
| The file was modified | thys/SenSocialChoice/document/root.bib (diff) |