Tags give the ability to mark specific points in history as being important
This project is mirrored from https://github.com/KeYProject/key.git.
Pull mirroring updated .
Successfully updated .
-
KeY-C-prcs
39ceb52c · ·This version of KeY-C is the same as the last one on the prcs branch which had an additional checkin after the move to git.
-
KeY-Hoare-0.1.5
c5ac5393 · ·This version has been published as KeY-Hoare-0.1.5. The only change was a fix to for proof loading.
-
-
-