Tags

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 Nov 21, 2024.

39ceb52c · Added a patch to sync git with prcs and apply changes that have been brought... · Jan 17, 2008

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 · Fix proof loading · Jan 16, 2008

This version has been published as KeY-Hoare-0.1.5. The only change was a fix to for proof loading.

KeY-Hoare-0.1.4

038e6a46 · Fixed a pretty printer bug · Dec 05, 2007
```
This version has been released as KeY-Hoare-0.1.4
```
KeY-Hoare-0.1.3

fdc15774 · * fixed branding · Dec 03, 2007
```
This version has been released as KeY-Hoare 0.1.3
```
KeY-1.2

0723d1db · * fixed sound play in bytecode and webstart version · Nov 30, 2007
```
This is the version released as KeY-1.2.0
```

Prev
1
2
3
Next

Help | Imprint | Privacy policy | Accessibility | Contact