Viewing all changes in revision 1152.
- Committer: srba.jiri at gmail
- Date: 2021-10-17 18:43:42 UTC
- mfrom: (1146.1.6 fixInfSymbol-1945643)
- Revision ID: srba.jiri@gmail.com-20211017184342-k5mvb45ttzb4lcxm
merged in lp:~tapaal-contributor/tapaal/fixInfSymbol-1945643 properly displaying the infinity symbol
expand all
collapse all
added
removed
