Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Remove more vestigial material from Stable_Matching.
Changeset 7538:459e8e152d09 by peter gammie _peteg42@gmail.com_:
Remove more vestigial material from Stable_Matching.
The file was modified thys/Stable_Matching/ROOT (diff)
The file was modified thys/Stable_Matching/document/root.tex (diff)
The file was removedthys/Stable_Matching/document/mathpartir.sty