/** Used to add a revision form complete information created elsewhere */
public void addRevision(int revnumber, String date, String authorinitials, String revremark) {
Revision r = new Revision();
r.revnumber = revnumber;
r.date = date;
r.authorinitials = authorinitials;
r.revremark = revremark;
list.add(r);
}
