aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/isa/multiple/C.ML
Commit message (Expand)AuthorAge
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Trivial changesGravatar David Aspinall1999-10-21
* Minor change for testing.Gravatar David Aspinall1999-10-20
* Test files for handling multiple files with IsabelleGravatar David Aspinall1998-10-19