Viewing all changes in revision 10530.
- Committer: herbelin
- Date: 2009-09-11 17:20:41 UTC
- Revision ID: svn-v4:85f007b7-540e-0410-9357-904b9bb8a0f7:trunk:12324
Addendum to revision 12323; update Makefile.common after removal of
ExternalProvers.tex in revision 12320.
ExternalProvers.tex in revision 12320.
- files modified:
- CHANGES
expand all
collapse all
added
removed
