Skip to content

Tags: KIT-MAMID/doc

Tags

v4.0

Toggle v4.0's commit message
FIX: finpres: wording.

v3.0

Toggle v3.0's commit message
FIX: impl report: broken ref

2.1

Toggle 2.1's commit message
FIX: class_diagram: font. stick to sansserif because it works on all …

…machines.

2.0

Toggle 2.0's commit message
UPD: Use other font and escape <,>

v1.1

Toggle v1.1's commit message
FIX: capitalization in title.

v1.0-rc3

Toggle v1.0-rc3's commit message
FIX: Use \geq instead of \geqslant for consistency

v1.0-rc2

Toggle v1.0-rc2's commit message
FIX: capitalization of replica set #2

v1.0-rc1

Toggle v1.0-rc1's commit message
FIX: capitalize risk group

v1.0-final

Toggle v1.0-final's commit message
FIX: Use \geq instead of \geqslant for consistency