source:

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Graph Diff Rev Age Author Log Message
(edit) @e062282   12 years faber Merge branch 'master' of tardis.deterlab.net:/var/local/git/fedd compt_changes
(edit) @d064566   12 years faber Updates, initial checkin compt_changes
(edit) @cd5b279   12 years faber Output IDs in pem for other tools compt_changes
(edit) @311ece3   12 years faber Make auth log more xml-like compt_changes
(edit) @7ec0dc2   12 years faber Deal with list of proofs correctly compt_changes
Note: See TracRevisionLog for help on using the revision log.