root/tags

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Rev Chgset Date Author Log Message
(edit) @11630 [11630] 8 months maeder tagging 0.93 hets release
(edit) @10766 [10766] 14 months maeder tagging hets release-0.9
(edit) @10080 [10080] 18 months maeder tagging hets release-0.87
(edit) @9914 [9914] 20 months maeder tagging hets release-0.85
(edit) @9171 [9171] 2 years maeder changed tests
(edit) @9169 [9169] 2 years maeder current path with /sw/bin
(edit) @9168 [9168] 2 years maeder use my own svn support
(edit) @9166 [9166] 2 years maeder add Isabelle path
(edit) @9163 [9163] 2 years maeder tag 0.8 release
(edit) @8834 [8834] 2 years maeder merged in r8833 from trunk
(edit) @8828 [8828] 2 years maeder added /sw/bin to PATH
(edit) @8819 [8819] 2 years maeder ported r8813 from trunk
(edit) @8805 [8805] 2 years maeder tagging hets release 0.75
(edit) @8379 [8379] 2 years maeder changed revision selection for releases
(edit) @8377 [8377] 2 years maeder fixed critical #401
(edit) @8370 [8370] 2 years maeder hets release 0.73
(edit) @7734 [7734] 3 years anonymous This commit was manufactured by cvs2svn to create tag 'release-0-7'.
(edit) @7141 [7141] 3 years anonymous This commit was manufactured by cvs2svn to create tag 'release-0-65'.
(edit) @6355 [6355] 4 years anonymous This commit was manufactured by cvs2svn to create tag 'release-0-60'.
(edit) @5313 [5313] 4 years anonymous This commit was manufactured by cvs2svn to create tag 'release-0-50'.
(edit) @4570 [4570] 4 years anonymous This commit was manufactured by cvs2svn to create tag 'hascasl2005-07-07'.
(edit) @4031 [4031] 5 years anonymous This commit was manufactured by cvs2svn to create tag 'release-0-41'.
(edit) @2166 [2166] 6 years anonymous This commit was manufactured by cvs2svn to create tag 'release-0-3'.
(edit) @2159 [2159] 6 years anonymous This commit was manufactured by cvs2svn to create tag 'stable'.
(edit) @48 [48] 8 years anonymous This commit was manufactured by cvs2svn to create tag 'rev17feb2002'.
(edit) @5 [5] 8 years anonymous This commit was manufactured by cvs2svn to create tag 'start'.
(add) @1 [1] 8 years anonymous New repository initialized by cvs2svn.
Note: See TracRevisionLog for help on using the revision log.