/usr/bin/diffoscope --html /srv/reproducible-results/rbuild-debian/tmp.3h6SpSuhqs/mcrl2_201409.0-1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/tmp.3h6SpSuhqs/mcrl2_201409.0-1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/tmp.3h6SpSuhqs/mcrl2_201409.0-1.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/tmp.3h6SpSuhqs/b1/mcrl2_201409.0-1_i386.changes /srv/reproducible-results/rbuild-debian/tmp.3h6SpSuhqs/b2/mcrl2_201409.0-1

⊟

48.1 KB

/srv/reproducible-results/rbuild-debian/tmp.3h6SpSuhqs/b1/mcrl2_201409.0-1_i386.changes vs.

/srv/reproducible-results/rbuild-debian/tmp.3h6SpSuhqs/b2/mcrl2_201409.0-1_i386.changes ¶

⊟

278 B

Files ¶

⊟

47.7 KB

mcrl2_201409.0-1_i386.deb ¶

⊟

452 B

file list ¶

⊟

753 B

control.tar.xz ¶

⊟

725 B

control.tar ¶

⊟

655 B

./control ¶

⊟

48.0 B

./md5sums ¶

⊟

30.0 B

./md5sums ¶

Files differ

⊟

46.5 KB

data.tar.xz ¶

⊟

46.4 KB

data.tar ¶

⊟

11.6 KB

file list ¶

⊟

802 B

⊟

194 B

⊟

542 B

⊟

777 B

⊟

194 B

⊟

521 B

⊟

845 B

⊟

194 B

⊟

577 B

Max report size reached

⊟

807 B

⊟

194 B

⊟

547 B

⊟

855 B

⊟

194 B

⊟

593 B

Max report size reached

⊟

791 B

⊟

194 B

⊟

529 B

⊟

923 B

⊟

194 B

⊟

647 B

Max report size reached

⊟

877 B

⊟

194 B

⊟

613 B

Max report size reached

⊟

882 B

⊟

194 B

⊟

612 B

Max report size reached

⊟

872 B

⊟

194 B

⊟

604 B

Max report size reached

⊟

804 B

⊟

194 B

⊟

544 B

⊟

897 B

⊟

194 B

⊟

633 B

Max report size reached

⊟

845 B

⊟

194 B

⊟

581 B

Max report size reached

⊟

879 B

⊟

194 B

⊟

609 B

Max report size reached

⊟

781 B

⊟

194 B

⊟

525 B

⊟

820 B

⊟

194 B

⊟

560 B

⊟

765 B

⊟

194 B

⊟

507 B

⊟

848 B

⊟

194 B

⊟

584 B

Max report size reached

⊟

861 B

⊟

194 B

⊟

595 B

Max report size reached

⊟

833 B

⊟

194 B

⊟

569 B

Max report size reached

⊟

799 B

⊟

194 B

⊟

539 B

⊟

815 B

⊟

194 B

⊟

555 B

⊟

821 B

⊟

194 B

⊟

559 B

⊟

830 B

⊟

194 B

⊟

564 B

Max report size reached

⊟

854 B

⊟

194 B

⊟

588 B

Max report size reached

⊟

846 B

⊟

194 B

⊟

584 B

Max report size reached

⊟

803 B

⊟

194 B

⊟

543 B

⊟

829 B

⊟

194 B

⊟

569 B

Max report size reached

⊟

772 B

⊟

194 B

⊟

508 B

⊟

849 B

⊟

194 B

⊟

585 B

Max report size reached

⊟

790 B

⊟

194 B

⊟

532 B

⊟

775 B

⊟

194 B

⊟

515 B

⊟

824 B

⊟

194 B

⊟

562 B

⊟

822 B

⊟

194 B

⊟

558 B

⊟

882 B

⊟

194 B

⊟

612 B

Max report size reached

⊟

816 B

⊟

194 B

⊟

554 B

⊟

854 B

⊟

194 B

⊟

588 B

Max report size reached

⊟

860 B

⊟

194 B

⊟

592 B

Max report size reached

⊟

791 B

⊟

194 B

⊟

533 B

⊟

825 B

⊟

194 B

⊟

563 B

Max report size reached

⊟

810 B

⊟

194 B

⊟

550 B

⊟

848 B

⊟

194 B

⊟

588 B

Max report size reached

⊟

835 B

⊟

194 B

⊟

573 B

Max report size reached


Offset 1, 3 lines modified		Offset 1, 3 lines modified

1	·2b146b62b9e4aaed06b2ae8eea89af31·656404·debug·optional·mcrl2-dbgsym_201409.0-1_i386.deb	1	·2b146b62b9e4aaed06b2ae8eea89af31·656404·debug·optional·mcrl2-dbgsym_201409.0-1_i386.deb
2	·~~37e11063a~~2f944~~0a37de~~3~~623af~~c~~fa4d2~~·7917~~420~~·math·extra·mcrl2_201409.0-1_i386.deb	2	·5ccfc7eef264476c4ab344665ec51b58·7917132·math·extra·mcrl2_201409.0-1_i386.deb


Offset 1, 3 lines modified		Offset 1, 3 lines modified
1	-rw-r--r--···0········0········0········4·2014-09-06·21:34:26.000000·debian-binary	1	-rw-r--r--···0········0········0········4·2014-09-06·21:34:26.000000·debian-binary
2	-rw-r--r--···0········0········0····25456·2014-09-06·21:34:26.000000·control.tar.xz	2	-rw-r--r--···0········0········0····25440·2014-09-06·21:34:26.000000·control.tar.xz
3	-rw-r--r--···0········0········0··7891~~772~~·2014-09-06·21:34:26.000000·data.tar.xz	3	-rw-r--r--···0········0········0··7891500·2014-09-06·21:34:26.000000·data.tar.xz


Offset 1, 12 lines modified		Offset 1, 12 lines modified
1	Package:·mcrl2	1	Package:·mcrl2
2	Version:·201409.0-1	2	Version:·201409.0-1
3	Architecture:·i386	3	Architecture:·i386
4	Maintainer:·Sjoerd·Cranen·<scranen@win.tue.nl>	4	Maintainer:·Sjoerd·Cranen·<scranen@win.tue.nl>
5	Installed-Size:·42257	5	Installed-Size:·42256
6	Depends:·libc6·(>=·2.27),·libgcc1·(>=·1:3.4),·libgl1,·libgl2ps1.4,·libglu1-mesa·\|·libglu1,·libqt4-opengl·(>=·4:4.5.3),·libqt4-xml·(>=·4:4.5.3),·libqtcore4·(>=·4:4.8.0),·libqtgui4·(>=·4:4.8.0),·libstdc++6·(>=·5.2)	6	Depends:·libc6·(>=·2.27),·libgcc1·(>=·1:3.4),·libgl1,·libgl2ps1.4,·libglu1-mesa·\|·libglu1,·libqt4-opengl·(>=·4:4.5.3),·libqt4-xml·(>=·4:4.5.3),·libqtcore4·(>=·4:4.8.0),·libqtgui4·(>=·4:4.8.0),·libstdc++6·(>=·5.2)
7	Section:·math	7	Section:·math
8	Priority:·extra	8	Priority:·extra
9	Homepage:·http://www.mcrl2.org/	9	Homepage:·http://www.mcrl2.org/
10	Description:·formal·specification·language·toolset	10	Description:·formal·specification·language·toolset
11	·mCRL2·stands·for·micro·Common·Representation·Language·2.··It·is·a	11	·mCRL2·stands·for·micro·Common·Representation·Language·2.··It·is·a
12	·specification·language·that·can·be·used·to·specify·and·analyse·the	12	·specification·language·that·can·be·used·to·specify·and·analyse·the


Offset 1, 1 lines modified		Offset 1, 1 lines modified
1	gzip·compressed·data,·max·compression,·from·Unix,·original·size·1940	1	gzip·compressed·data,·max·compression,·from·Unix,·original·size·1938


Offset 1109, 55 lines modified		Offset 1109, 55 lines modified
1109	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2014-09-06·21:34:26.000000·./usr/share/icons/hicolor/96x96/apps/	1109	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2014-09-06·21:34:26.000000·./usr/share/icons/hicolor/96x96/apps/
1110	-rw-r--r--···0·root·········(0)·root·········(0)·····4086·2014-08-05·09:12:42.000000·./usr/share/icons/hicolor/96x96/apps/mcrl2-blue.png	1110	-rw-r--r--···0·root·········(0)·root·········(0)·····4086·2014-08-05·09:12:42.000000·./usr/share/icons/hicolor/96x96/apps/mcrl2-blue.png
1111	-rw-r--r--···0·root·········(0)·root·········(0)·····5113·2014-08-05·09:12:42.000000·./usr/share/icons/hicolor/96x96/apps/mcrl2-green.png	1111	-rw-r--r--···0·root·········(0)·root·········(0)·····5113·2014-08-05·09:12:42.000000·./usr/share/icons/hicolor/96x96/apps/mcrl2-green.png
1112	-rw-r--r--···0·root·········(0)·root·········(0)·····4457·2014-08-05·09:12:42.000000·./usr/share/icons/hicolor/96x96/apps/mcrl2-orange.png	1112	-rw-r--r--···0·root·········(0)·root·········(0)·····4457·2014-08-05·09:12:42.000000·./usr/share/icons/hicolor/96x96/apps/mcrl2-orange.png
1113	-rw-r--r--···0·root·········(0)·root·········(0)·····4085·2014-08-05·09:12:42.000000·./usr/share/icons/hicolor/96x96/apps/mcrl2-red.png	1113	-rw-r--r--···0·root·········(0)·root·········(0)·····4085·2014-08-05·09:12:42.000000·./usr/share/icons/hicolor/96x96/apps/mcrl2-red.png
1114	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2014-09-06·21:34:26.000000·./usr/share/man/	1114	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2014-09-06·21:34:26.000000·./usr/share/man/
1115	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2014-09-06·21:34:26.000000·./usr/share/man/man1/	1115	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2014-09-06·21:34:26.000000·./usr/share/man/man1/
1116	-rw-r--r--···0·root·········(0)·root·········(0)······958·2014-09-06·21:34:26.000000·./usr/share/man/man1/besinfo.1.gz	1116	-rw-r--r--···0·root·········(0)·root·········(0)······956·2014-09-06·21:34:26.000000·./usr/share/man/man1/besinfo.1.gz
1117	-rw-r--r--···0·root·········(0)·root·········(0)······904·2014-09-06·21:34:26.000000·./usr/share/man/man1/bespp.1.gz	1117	-rw-r--r--···0·root·········(0)·root·········(0)······902·2014-09-06·21:34:26.000000·./usr/share/man/man1/bespp.1.gz
1118	-rw-r--r--···0·root·········(0)·root·········(0)······919·2014-09-06·21:34:26.000000·./usr/share/man/man1/diagraphica.1.gz	1118	-rw-r--r--···0·root·········(0)·root·········(0)······918·2014-09-06·21:34:26.000000·./usr/share/man/man1/diagraphica.1.gz
1119	-rw-r--r--···0·root·········(0)·root·········(0)·····3517·2014-09-06·21:34:26.000000·./usr/share/man/man1/lps2lts.1.gz	1119	-rw-r--r--···0·root·········(0)·root·········(0)·····3514·2014-09-06·21:34:26.000000·./usr/share/man/man1/lps2lts.1.gz
1120	-rw-r--r--···0·root·········(0)·root·········(0)·····1116·2014-09-06·21:34:26.000000·./usr/share/man/man1/lps2pbes.1.gz	1120	-rw-r--r--···0·root·········(0)·root·········(0)·····1114·2014-09-06·21:34:26.000000·./usr/share/man/man1/lps2pbes.1.gz
1121	-rw-r--r--···0·root·········(0)·root·········(0)·····1031·2014-09-06·21:34:26.000000·./usr/share/man/man1/lps2torx.1.gz	1121	-rw-r--r--···0·root·········(0)·root·········(0)·····1030·2014-09-06·21:34:26.000000·./usr/share/man/man1/lps2torx.1.gz
1122	-rw-r--r--···0·root·········(0)·root·········(0)·····1248·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsactionrename.1.gz	1122	-rw-r--r--···0·root·········(0)·root·········(0)·····1245·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsactionrename.1.gz
1123	-rw-r--r--···0·root·········(0)·root·········(0)·····1022·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsbinary.1.gz	1123	-rw-r--r--···0·root·········(0)·root·········(0)·····1020·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsbinary.1.gz
1124	-rw-r--r--···0·root·········(0)·root·········(0)·····1699·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsconfcheck.1.gz	1124	-rw-r--r--···0·root·········(0)·root·········(0)·····1697·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsconfcheck.1.gz
1125	-rw-r--r--···0·root·········(0)·root·········(0)·····1209·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsconstelm.1.gz	1125	-rw-r--r--···0·root·········(0)·root·········(0)·····1207·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsconstelm.1.gz
1126	-rw-r--r--···0·root·········(0)·root·········(0)······824·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsinfo.1.gz	1126	-rw-r--r--···0·root·········(0)·root·········(0)······822·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsinfo.1.gz
1127	-rw-r--r--···0·root·········(0)·root·········(0)·····1704·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsinvelm.1.gz	1127	-rw-r--r--···0·root·········(0)·root·········(0)·····1704·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsinvelm.1.gz
1128	-rw-r--r--···0·root·········(0)·root·········(0)······912·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsparelm.1.gz	1128	-rw-r--r--···0·root·········(0)·root·········(0)······910·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsparelm.1.gz
1129	-rw-r--r--···0·root·········(0)·root·········(0)·····1160·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsparunfold.1.gz	1129	-rw-r--r--···0·root·········(0)·root·········(0)·····1159·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsparunfold.1.gz
1130	-rw-r--r--···0·root·········(0)·root·········(0)······977·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpspp.1.gz	1130	-rw-r--r--···0·root·········(0)·root·········(0)······975·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpspp.1.gz
1131	-rw-r--r--···0·root·········(0)·root·········(0)·····1025·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsrewr.1.gz	1131	-rw-r--r--···0·root·········(0)·root·········(0)·····1023·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsrewr.1.gz
1132	-rw-r--r--···0·root·········(0)·root·········(0)······999·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpssim.1.gz	1132	-rw-r--r--···0·root·········(0)·root·········(0)······997·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpssim.1.gz
1133	-rw-r--r--···0·root·········(0)·root·········(0)······911·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpssumelm.1.gz	1133	-rw-r--r--···0·root·········(0)·root·········(0)······909·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpssumelm.1.gz
1134	-rw-r--r--···0·root·········(0)·root·········(0)·····1147·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpssuminst.1.gz	1134	-rw-r--r--···0·root·········(0)·root·········(0)·····1145·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpssuminst.1.gz
1135	-rw-r--r--···0·root·········(0)·root·········(0)······869·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsuntime.1.gz	1135	-rw-r--r--···0·root·········(0)·root·········(0)······866·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsuntime.1.gz
1136	-rw-r--r--···0·root·········(0)·root·········(0)·····1034·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsxsim.1.gz	1136	-rw-r--r--···0·root·········(0)·root·········(0)·····1032·2014-09-06·21:34:26.000000·./usr/share/man/man1/lpsxsim.1.gz
1137	-rw-r--r--···0·root·········(0)·root·········(0)······969·2014-09-06·21:34:26.000000·./usr/share/man/man1/lts2lps.1.gz	1137	-rw-r--r--···0·root·········(0)·root·········(0)······968·2014-09-06·21:34:26.000000·./usr/share/man/man1/lts2lps.1.gz
1138	-rw-r--r--···0·root·········(0)·root·········(0)·····1068·2014-09-06·21:34:26.000000·./usr/share/man/man1/lts2pbes.1.gz	1138	-rw-r--r--···0·root·········(0)·root·········(0)·····1066·2014-09-06·21:34:26.000000·./usr/share/man/man1/lts2pbes.1.gz
1139	-rw-r--r--···0·root·········(0)·root·········(0)·····1459·2014-09-06·21:34:26.000000·./usr/share/man/man1/ltscompare.1.gz	1139	-rw-r--r--···0·root·········(0)·root·········(0)·····1457·2014-09-06·21:34:26.000000·./usr/share/man/man1/ltscompare.1.gz
1140	-rw-r--r--···0·root·········(0)·root·········(0)·····1654·2014-09-06·21:34:26.000000·./usr/share/man/man1/ltsconvert.1.gz	1140	-rw-r--r--···0·root·········(0)·root·········(0)·····1651·2014-09-06·21:34:26.000000·./usr/share/man/man1/ltsconvert.1.gz
1141	-rw-r--r--···0·root·········(0)·root·········(0)······861·2014-09-06·21:34:26.000000·./usr/share/man/man1/ltsgraph.1.gz	1141	-rw-r--r--···0·root·········(0)·root·········(0)······859·2014-09-06·21:34:26.000000·./usr/share/man/man1/ltsgraph.1.gz
1142	-rw-r--r--···0·root·········(0)·root·········(0)·····1023·2014-09-06·21:34:26.000000·./usr/share/man/man1/ltsinfo.1.gz	1142	-rw-r--r--···0·root·········(0)·root·········(0)·····1021·2014-09-06·21:34:26.000000·./usr/share/man/man1/ltsinfo.1.gz
1143	-rw-r--r--···0·root·········(0)·root·········(0)·····1034·2014-09-06·21:34:26.000000·./usr/share/man/man1/ltsview.1.gz	1143	-rw-r--r--···0·root·········(0)·root·········(0)·····1033·2014-09-06·21:34:26.000000·./usr/share/man/man1/ltsview.1.gz
1144	-rw-r--r--···0·root·········(0)·root·········(0)······783·2014-09-06·21:34:26.000000·./usr/share/man/man1/mcrl2-gui.1.gz	1144	-rw-r--r--···0·root·········(0)·root·········(0)······785·2014-09-06·21:34:26.000000·./usr/share/man/man1/mcrl2-gui.1.gz
1145	-rw-r--r--···0·root·········(0)·root·········(0)·····2767·2014-09-06·21:34:26.000000·./usr/share/man/man1/mcrl22lps.1.gz	1145	-rw-r--r--···0·root·········(0)·root·········(0)·····2764·2014-09-06·21:34:26.000000·./usr/share/man/man1/mcrl22lps.1.gz
1146	-rw-r--r--···0·root·········(0)·root·········(0)······783·2014-09-06·21:34:26.000000·./usr/share/man/man1/mcrl2compilerewriter.1.gz	1146	-rw-r--r--···0·root·········(0)·root·········(0)······783·2014-09-06·21:34:26.000000·./usr/share/man/man1/mcrl2compilerewriter.1.gz
1147	-rw-r--r--···0·root·········(0)·root·········(0)·····1~~503~~·2014-09-06·21:34:26.000000·./usr/share/man/man1/mcrl2i.1.gz	1147	-rw-r--r--···0·root·········(0)·root·········(0)·····1499·2014-09-06·21:34:26.000000·./usr/share/man/man1/mcrl2i.1.gz
1148	-rw-r--r--···0·root·········(0)·root·········(0)······958·2014-09-06·21:34:26.000000·./usr/share/man/man1/mcrl2xi.1.gz	1148	-rw-r--r--···0·root·········(0)·root·········(0)······956·2014-09-06·21:34:26.000000·./usr/share/man/man1/mcrl2xi.1.gz
1149	-rw-r--r--···0·root·········(0)·root·········(0)·····2195·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbes2bes.1.gz	1149	-rw-r--r--···0·root·········(0)·root·········(0)·····2194·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbes2bes.1.gz
1150	-rw-r--r--···0·root·········(0)·root·········(0)·····2271·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbes2bool.1.gz	1150	-rw-r--r--···0·root·········(0)·root·········(0)·····2270·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbes2bool.1.gz
1151	-rw-r--r--···0·root·········(0)·root·········(0)·····1360·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbesconstelm.1.gz	1151	-rw-r--r--···0·root·········(0)·root·········(0)·····1356·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbesconstelm.1.gz
1152	-rw-r--r--···0·root·········(0)·root·········(0)······974·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbesinfo.1.gz	1152	-rw-r--r--···0·root·········(0)·root·········(0)······971·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbesinfo.1.gz
1153	-rw-r--r--···0·root·········(0)·root·········(0)·····1016·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbesparelm.1.gz	1153	-rw-r--r--···0·root·········(0)·root·········(0)·····1015·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbesparelm.1.gz
1154	-rw-r--r--···0·root·········(0)·root·········(0)·····1334·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbespgsolve.1.gz	1154	-rw-r--r--···0·root·········(0)·root·········(0)·····1333·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbespgsolve.1.gz
1155	-rw-r--r--···0·root·········(0)·root·········(0)······941·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbespp.1.gz	1155	-rw-r--r--···0·root·········(0)·root·········(0)······938·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbespp.1.gz
1156	-rw-r--r--···0·root·········(0)·root·········(0)·····1306·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbesrewr.1.gz	1156	-rw-r--r--···0·root·········(0)·root·········(0)·····1304·2014-09-06·21:34:26.000000·./usr/share/man/man1/pbesrewr.1.gz
1157	-rw-r--r--···0·root·········(0)·root·········(0)·····1053·2014-09-06·21:34:26.000000·./usr/share/man/man1/tracepp.1.gz	1157	-rw-r--r--···0·root·········(0)·root·········(0)·····1051·2014-09-06·21:34:26.000000·./usr/share/man/man1/tracepp.1.gz
1158	-rw-r--r--···0·root·········(0)·root·········(0)······877·2014-09-06·21:34:26.000000·./usr/share/man/man1/txt2lps.1.gz	1158	-rw-r--r--···0·root·········(0)·root·········(0)······875·2014-09-06·21:34:26.000000·./usr/share/man/man1/txt2lps.1.gz
1159	-rw-r--r--···0·root·········(0)·root·········(0)······993·2014-09-06·21:34:26.000000·./usr/share/man/man1/txt2pbes.1.gz	1159	-rw-r--r--···0·root·········(0)·root·········(0)······992·2014-09-06·21:34:26.000000·./usr/share/man/man1/txt2pbes.1.gz
1160	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2014-09-06·21:34:26.000000·./usr/share/mcrl2/	1160	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2014-09-06·21:34:26.000000·./usr/share/mcrl2/
1161	-rw-r--r--···0·root·········(0)·root·········(0)·····3974·2014-08-05·09:12:48.000000·./usr/share/mcrl2/tool_catalog.xml	1161	-rw-r--r--···0·root·········(0)·root·········(0)·····3974·2014-08-05·09:12:48.000000·./usr/share/mcrl2/tool_catalog.xml
1162	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2014-09-06·21:34:26.000000·./usr/share/menu/	1162	drwxr-xr-x···0·root·········(0)·root·········(0)········0·2014-09-06·21:34:26.000000·./usr/share/menu/
1163	-rw-r--r--···0·root·········(0)·root·········(0)······180·2010-08-03·09:58:38.000000·./usr/share/menu/mcrl2	1163	-rw-r--r--···0·root·········(0)·root·········(0)······180·2010-08-03·09:58:38.000000·./usr/share/menu/mcrl2


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	.\"·Manual·page·for·besinfo·version·201409.0·(Release).·.\"	1	.\"·Manual·page·for·besinfo·version·201409.0·(Release).·.\"
2	.\"·Generated·from·besinfo·--generate-man-page.·.\"	2	.\"·Generated·from·besinfo·--generate-man-page.·.\"
3	.TH·BESINFO·"1"·"August·2020"·"besinfo·mCRL2·toolset·201409.0·(Release)"·"User·Commands"	3	.TH·BESINFO·"1"·"July·2019"·"besinfo·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4	.SH·NAME	4	.SH·NAME
5	besinfo·\-·display·basic·information·about·a·BES	5	besinfo·\-·display·basic·information·about·a·BES
6	.SH·SYNOPSIS	6	.SH·SYNOPSIS
7	.B·besinfo	7	.B·besinfo
8	[\fIOPTION\fR]...·[\fIINFILE\fR]	8	[\fIOPTION\fR]...·[\fIINFILE\fR]
9	.SH·DESCRIPTION	9	.SH·DESCRIPTION
10	Print·basic·information·about·the·BES·in·INFILE.·If·INFILE·is·not·present,·	10	Print·basic·information·about·the·BES·in·INFILE.·If·INFILE·is·not·present,·


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	.\"·Manual·page·for·bespp·version·201409.0·(Release).·.\"	1	.\"·Manual·page·for·bespp·version·201409.0·(Release).·.\"
2	.\"·Generated·from·bespp·--generate-man-page.·.\"	2	.\"·Generated·from·bespp·--generate-man-page.·.\"
3	.TH·BESPP·"1"·"August·2020"·"bespp·mCRL2·toolset·201409.0·(Release)"·"User·Commands"	3	.TH·BESPP·"1"·"July·2019"·"bespp·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4	.SH·NAME	4	.SH·NAME
5	bespp·\-·pretty·print·a·BES	5	bespp·\-·pretty·print·a·BES
6	.SH·SYNOPSIS	6	.SH·SYNOPSIS
7	.B·bespp	7	.B·bespp
8	[\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]	8	[\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9	.SH·DESCRIPTION	9	.SH·DESCRIPTION
10	Print·the·BES·in·INFILE·to·OUTFILE·in·a·human·readable·format.·If·OUTFILE·is·	10	Print·the·BES·in·INFILE·to·OUTFILE·in·a·human·readable·format.·If·OUTFILE·is·


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	.\"·Manual·page·for·lps2lts·version·201409.0·(Release).·.\"	1	.\"·Manual·page·for·lps2lts·version·201409.0·(Release).·.\"
2	.\"·Generated·from·lps2lts·--generate-man-page.·.\"	2	.\"·Generated·from·lps2lts·--generate-man-page.·.\"
3	.TH·LPS2LTS·"1"·"August·2020"·"lps2lts·mCRL2·toolset·201409.0·(Release)"·"User·Commands"	3	.TH·LPS2LTS·"1"·"July·2019"·"lps2lts·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4	.SH·NAME	4	.SH·NAME
5	lps2lts·\-·generate·an·LTS·from·an·LPS	5	lps2lts·\-·generate·an·LTS·from·an·LPS
6	.SH·SYNOPSIS	6	.SH·SYNOPSIS
7	.B·lps2lts	7	.B·lps2lts
8	[\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]	8	[\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9	.SH·DESCRIPTION	9	.SH·DESCRIPTION
10	Generate·an·LTS·from·the·LPS·in·INFILE·and·save·the·result·to·OUTFILE.·If·	10	Generate·an·LTS·from·the·LPS·in·INFILE·and·save·the·result·to·OUTFILE.·If·


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	.\"·Manual·page·for·lps2torx·version·201409.0·(Release).·.\"	1	.\"·Manual·page·for·lps2torx·version·201409.0·(Release).·.\"
2	.\"·Generated·from·lps2torx·--generate-man-page.·.\"	2	.\"·Generated·from·lps2torx·--generate-man-page.·.\"
3	.TH·LPS2TORX·"1"·"August·2020"·"lps2torx·mCRL2·toolset·201409.0·(Release)"·"User·Commands"	3	.TH·LPS2TORX·"1"·"July·2019"·"lps2torx·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4	.SH·NAME	4	.SH·NAME
5	lps2torx·\-·provide·TorX·explorer·interface·to·an·LPS	5	lps2torx·\-·provide·TorX·explorer·interface·to·an·LPS
6	.SH·SYNOPSIS	6	.SH·SYNOPSIS
7	.B·lps2torx	7	.B·lps2torx
8	[\fIOPTION\fR]...·INFILE	8	[\fIOPTION\fR]...·INFILE
9	.SH·DESCRIPTION	9	.SH·DESCRIPTION
10	Provide·a·TorX·explorer·interface·to·the·LPS·in·INFILE.·	10	Provide·a·TorX·explorer·interface·to·the·LPS·in·INFILE.·


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	.\"·Manual·page·for·lpsinfo·version·201409.0·(Release).·.\"	1	.\"·Manual·page·for·lpsinfo·version·201409.0·(Release).·.\"
2	.\"·Generated·from·lpsinfo·--generate-man-page.·.\"	2	.\"·Generated·from·lpsinfo·--generate-man-page.·.\"
3	.TH·LPSINFO·"1"·"August·2020"·"lpsinfo·mCRL2·toolset·201409.0·(Release)"·"User·Commands"	3	.TH·LPSINFO·"1"·"July·2019"·"lpsinfo·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4	.SH·NAME	4	.SH·NAME
5	lpsinfo·\-·display·basic·information·about·an·LPS	5	lpsinfo·\-·display·basic·information·about·an·LPS
6	.SH·SYNOPSIS	6	.SH·SYNOPSIS
7	.B·lpsinfo	7	.B·lpsinfo
8	[\fIOPTION\fR]...·[\fIINFILE\fR]	8	[\fIOPTION\fR]...·[\fIINFILE\fR]
9	.SH·DESCRIPTION	9	.SH·DESCRIPTION
10	Print·basic·information·on·the·linear·process·specification·(LPS)·in·INFILE.	10	Print·basic·information·on·the·linear·process·specification·(LPS)·in·INFILE.


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	.\"·Manual·page·for·lpspp·version·201409.0·(Release).·.\"	1	.\"·Manual·page·for·lpspp·version·201409.0·(Release).·.\"
2	.\"·Generated·from·lpspp·--generate-man-page.·.\"	2	.\"·Generated·from·lpspp·--generate-man-page.·.\"
3	.TH·LPSPP·"1"·"August·2020"·"lpspp·mCRL2·toolset·201409.0·(Release)"·"User·Commands"	3	.TH·LPSPP·"1"·"July·2019"·"lpspp·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4	.SH·NAME	4	.SH·NAME
5	lpspp·\-·pretty·print·an·LPS	5	lpspp·\-·pretty·print·an·LPS
6	.SH·SYNOPSIS	6	.SH·SYNOPSIS
7	.B·lpspp	7	.B·lpspp
8	[\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]	8	[\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9	.SH·DESCRIPTION	9	.SH·DESCRIPTION
10	Print·the·mCRL2·LPS·in·INFILE·to·OUTFILE·in·a·human·readable·format.·If·OUTFILE·	10	Print·the·mCRL2·LPS·in·INFILE·to·OUTFILE·in·a·human·readable·format.·If·OUTFILE·


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	.\"·Manual·page·for·lpsrewr·version·201409.0·(Release).·.\"	1	.\"·Manual·page·for·lpsrewr·version·201409.0·(Release).·.\"
2	.\"·Generated·from·lpsrewr·--generate-man-page.·.\"	2	.\"·Generated·from·lpsrewr·--generate-man-page.·.\"
3	.TH·LPSREWR·"1"·"August·2020"·"lpsrewr·mCRL2·toolset·201409.0·(Release)"·"User·Commands"	3	.TH·LPSREWR·"1"·"July·2019"·"lpsrewr·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4	.SH·NAME	4	.SH·NAME
5	lpsrewr·\-·rewrite·data·expressions·in·an·LPS	5	lpsrewr·\-·rewrite·data·expressions·in·an·LPS
6	.SH·SYNOPSIS	6	.SH·SYNOPSIS
7	.B·lpsrewr	7	.B·lpsrewr
8	[\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]	8	[\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9	.SH·DESCRIPTION	9	.SH·DESCRIPTION
10	Rewrite·data·expressions·of·the·LPS·in·INFILE·and·save·the·result·to·OUTFILE.If·	10	Rewrite·data·expressions·of·the·LPS·in·INFILE·and·save·the·result·to·OUTFILE.If·


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	.\"·Manual·page·for·lpssim·version·201409.0·(Release).·.\"	1	.\"·Manual·page·for·lpssim·version·201409.0·(Release).·.\"
2	.\"·Generated·from·lpssim·--generate-man-page.·.\"	2	.\"·Generated·from·lpssim·--generate-man-page.·.\"
3	.TH·LPSSIM·"1"·"August·2020"·"lpssim·mCRL2·toolset·201409.0·(Release)"·"User·Commands"	3	.TH·LPSSIM·"1"·"July·2019"·"lpssim·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4	.SH·NAME	4	.SH·NAME
5	lpssim·\-·command-line·simulation·of·an·LPS	5	lpssim·\-·command-line·simulation·of·an·LPS
6	.SH·SYNOPSIS	6	.SH·SYNOPSIS
7	.B·lpssim	7	.B·lpssim
8	[\fIOPTION\fR]...·[\fIINFILE\fR]	8	[\fIOPTION\fR]...·[\fIINFILE\fR]
9	.SH·DESCRIPTION	9	.SH·DESCRIPTION
10	Simulate·the·LPS·in·INFILE·via·a·text-based·interface.	10	Simulate·the·LPS·in·INFILE·via·a·text-based·interface.


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	.\"·Manual·page·for·LpsXSim·version·201409.0·(Release).·.\"	1	.\"·Manual·page·for·LpsXSim·version·201409.0·(Release).·.\"
2	.\"·Generated·from·LpsXSim·--generate-man-page.·.\"	2	.\"·Generated·from·LpsXSim·--generate-man-page.·.\"
3	.TH·LPSXSIM·"1"·"August·2020"·"LpsXSim·mCRL2·toolset·201409.0·(Release)"·"User·Commands"	3	.TH·LPSXSIM·"1"·"July·2019"·"LpsXSim·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4	.SH·NAME	4	.SH·NAME
5	LpsXSim·\-·graphical·simulation·of·an·LPS	5	LpsXSim·\-·graphical·simulation·of·an·LPS
6	.SH·SYNOPSIS	6	.SH·SYNOPSIS
7	.B·LpsXSim	7	.B·LpsXSim
8	[\fIOPTION\fR]...·[\fIINFILE\fR]	8	[\fIOPTION\fR]...·[\fIINFILE\fR]
9	.SH·DESCRIPTION	9	.SH·DESCRIPTION
10	Simulates·linear·process·descriptions·in·a·graphical·environment.·If·INFILE·is·	10	Simulates·linear·process·descriptions·in·a·graphical·environment.·If·INFILE·is·


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	.\"·Manual·page·for·lts2lps·version·201409.0·(Release).·.\"	1	.\"·Manual·page·for·lts2lps·version·201409.0·(Release).·.\"
2	.\"·Generated·from·lts2lps·--generate-man-page.·.\"	2	.\"·Generated·from·lts2lps·--generate-man-page.·.\"
3	.TH·LTS2LPS·"1"·"August·2020"·"lts2lps·mCRL2·toolset·201409.0·(Release)"·"User·Commands"	3	.TH·LTS2LPS·"1"·"July·2019"·"lts2lps·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4	.SH·NAME	4	.SH·NAME
5	lts2lps·\-·translates·an·LTS·into·an·LPS	5	lts2lps·\-·translates·an·LTS·into·an·LPS
6	.SH·SYNOPSIS	6	.SH·SYNOPSIS
7	.B·lts2lps	7	.B·lts2lps
8	[\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]	8	[\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9	.SH·DESCRIPTION	9	.SH·DESCRIPTION
10	Translates·an·LTS·in·INFILE·and·writes·the·resulting·LPS·to·OUTFILE.·If·OUTFILE·	10	Translates·an·LTS·in·INFILE·and·writes·the·resulting·LPS·to·OUTFILE.·If·OUTFILE·


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	.\"·Manual·page·for·lts2pbes·version·201409.0·(Release).·.\"	1	.\"·Manual·page·for·lts2pbes·version·201409.0·(Release).·.\"
2	.\"·Generated·from·lts2pbes·--generate-man-page.·.\"	2	.\"·Generated·from·lts2pbes·--generate-man-page.·.\"
3	.TH·LTS2PBES·"1"·"August·2020"·"lts2pbes·mCRL2·toolset·201409.0·(Release)"·"User·Commands"	3	.TH·LTS2PBES·"1"·"July·2019"·"lts2pbes·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4	.SH·NAME	4	.SH·NAME
5	lts2pbes·\-·translates·an·LTS·into·an·PBES	5	lts2pbes·\-·translates·an·LTS·into·an·PBES
6	.SH·SYNOPSIS	6	.SH·SYNOPSIS
7	.B·lts2pbes	7	.B·lts2pbes
8	[\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]	8	[\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9	.SH·DESCRIPTION	9	.SH·DESCRIPTION
10	Translates·an·LTS·in·INFILE·and·writes·the·resulting·PBES·to·OUTFILE.·If·	10	Translates·an·LTS·in·INFILE·and·writes·the·resulting·PBES·to·OUTFILE.·If·


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	.\"·Manual·page·for·ltsinfo·version·201409.0·(Release).·.\"	1	.\"·Manual·page·for·ltsinfo·version·201409.0·(Release).·.\"
2	.\"·Generated·from·ltsinfo·--generate-man-page.·.\"	2	.\"·Generated·from·ltsinfo·--generate-man-page.·.\"
3	.TH·LTSINFO·"1"·"August·2020"·"ltsinfo·mCRL2·toolset·201409.0·(Release)"·"User·Commands"	3	.TH·LTSINFO·"1"·"July·2019"·"ltsinfo·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4	.SH·NAME	4	.SH·NAME
5	ltsinfo·\-·display·basic·information·about·an·LTS	5	ltsinfo·\-·display·basic·information·about·an·LTS
6	.SH·SYNOPSIS	6	.SH·SYNOPSIS
7	.B·ltsinfo	7	.B·ltsinfo
8	[\fIOPTION\fR]...·[\fIINFILE\fR]	8	[\fIOPTION\fR]...·[\fIINFILE\fR]
9	.SH·DESCRIPTION	9	.SH·DESCRIPTION
10	Print·information·about·the·labelled·transition·system·(LTS)·in·INFILE.·If·	10	Print·information·about·the·labelled·transition·system·(LTS)·in·INFILE.·If·


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	.\"·Manual·page·for·mcrl2-gui·version·201409.0·(Release).·.\"	1	.\"·Manual·page·for·mcrl2-gui·version·201409.0·(Release).·.\"
2	.\"·Generated·from·mcrl2-gui·--generate-man-page.·.\"	2	.\"·Generated·from·mcrl2-gui·--generate-man-page.·.\"
3	.TH·MCRL2-GUI·"1"·"August·2020"·"mcrl2-gui·mCRL2·toolset·201409.0·(Release)"·"User·Commands"	3	.TH·MCRL2-GUI·"1"·"July·2019"·"mcrl2-gui·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4	.SH·NAME	4	.SH·NAME
5	mcrl2-gui·\-·graphical·front-end·for·mCRL2·tools	5	mcrl2-gui·\-·graphical·front-end·for·mCRL2·tools
6	.SH·SYNOPSIS	6	.SH·SYNOPSIS
7	.B·mcrl2-gui	7	.B·mcrl2-gui
8	[\fIOPTION\fR]...	8	[\fIOPTION\fR]...
9	.SH·DESCRIPTION	9	.SH·DESCRIPTION
10	A·graphical·front-end·for·mCRL2·tools.	10	A·graphical·front-end·for·mCRL2·tools.


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	.\"·Manual·page·for·mcrl2i·version·201409.0·(Release).·.\"	1	.\"·Manual·page·for·mcrl2i·version·201409.0·(Release).·.\"
2	.\"·Generated·from·mcrl2i·--generate-man-page.·.\"	2	.\"·Generated·from·mcrl2i·--generate-man-page.·.\"
3	.TH·MCRL2I·"1"·"August·2020"·"mcrl2i·mCRL2·toolset·201409.0·(Release)"·"User·Commands"	3	.TH·MCRL2I·"1"·"July·2019"·"mcrl2i·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4	.SH·NAME	4	.SH·NAME
5	mcrl2i·\-·Interpreter·for·the·mCRL2·data·language	5	mcrl2i·\-·Interpreter·for·the·mCRL2·data·language
6	.SH·SYNOPSIS	6	.SH·SYNOPSIS
7	.B·mcrl2i	7	.B·mcrl2i
8	[\fIOPTION\fR]...·[\fIINFILE\fR]	8	[\fIOPTION\fR]...·[\fIINFILE\fR]
9	.SH·DESCRIPTION	9	.SH·DESCRIPTION
10	Evaluate·mCRL2·data·expressions·via·a·text-based·interface.·If·INFILE·is·	10	Evaluate·mCRL2·data·expressions·via·a·text-based·interface.·If·INFILE·is·


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	.\"·Manual·page·for·mCRL2xi·version·201409.0·(Release).·.\"	1	.\"·Manual·page·for·mCRL2xi·version·201409.0·(Release).·.\"
2	.\"·Generated·from·mCRL2xi·--generate-man-page.·.\"	2	.\"·Generated·from·mCRL2xi·--generate-man-page.·.\"
3	.TH·MCRL2XI·"1"·"August·2020"·"mCRL2xi·mCRL2·toolset·201409.0·(Release)"·"User·Commands"	3	.TH·MCRL2XI·"1"·"July·2019"·"mCRL2xi·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4	.SH·NAME	4	.SH·NAME
5	mCRL2xi·\-·graphical·mCRL2·data·specification·editor	5	mCRL2xi·\-·graphical·mCRL2·data·specification·editor
6	.SH·SYNOPSIS	6	.SH·SYNOPSIS
7	.B·mCRL2xi	7	.B·mCRL2xi
8	[\fIOPTION\fR]...·[\fIINFILE\fR]	8	[\fIOPTION\fR]...·[\fIINFILE\fR]
9	.SH·DESCRIPTION	9	.SH·DESCRIPTION
10	A·graphical·mCRL2·data·specification·editor.	10	A·graphical·mCRL2·data·specification·editor.


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	.\"·Manual·page·for·pbes2bes·version·201409.0·(Release).·.\"	1	.\"·Manual·page·for·pbes2bes·version·201409.0·(Release).·.\"
2	.\"·Generated·from·pbes2bes·--generate-man-page.·.\"	2	.\"·Generated·from·pbes2bes·--generate-man-page.·.\"
3	.TH·PBES2BES·"1"·"August·2020"·"pbes2bes·mCRL2·toolset·201409.0·(Release)"·"User·Commands"	3	.TH·PBES2BES·"1"·"July·2019"·"pbes2bes·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4	.SH·NAME	4	.SH·NAME
5	pbes2bes·\-·Generate·a·BES·from·a·PBES.·	5	pbes2bes·\-·Generate·a·BES·from·a·PBES.·
6	.SH·SYNOPSIS	6	.SH·SYNOPSIS
7	.B·pbes2bes	7	.B·pbes2bes
8	[\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]	8	[\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9	.SH·DESCRIPTION	9	.SH·DESCRIPTION
10	Reads·the·PBES·from·INFILE·and·writes·an·equivalent·BES·to·OUTFILE.·If·INFILE·	10	Reads·the·PBES·from·INFILE·and·writes·an·equivalent·BES·to·OUTFILE.·If·INFILE·


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	.\"·Manual·page·for·pbes2bool·version·201409.0·(Release).·.\"	1	.\"·Manual·page·for·pbes2bool·version·201409.0·(Release).·.\"
2	.\"·Generated·from·pbes2bool·--generate-man-page.·.\"	2	.\"·Generated·from·pbes2bool·--generate-man-page.·.\"
3	.TH·PBES2BOOL·"1"·"August·2020"·"pbes2bool·mCRL2·toolset·201409.0·(Release)"·"User·Commands"	3	.TH·PBES2BOOL·"1"·"July·2019"·"pbes2bool·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4	.SH·NAME	4	.SH·NAME
5	pbes2bool·\-·Generate·a·BES·from·a·PBES·and·solve·it.·	5	pbes2bool·\-·Generate·a·BES·from·a·PBES·and·solve·it.·
6	.SH·SYNOPSIS	6	.SH·SYNOPSIS
7	.B·pbes2bool	7	.B·pbes2bool
8	[\fIOPTION\fR]...[\fIINFILE\fR]	8	[\fIOPTION\fR]...[\fIINFILE\fR]
9	.SH·DESCRIPTION	9	.SH·DESCRIPTION
10	Solves·(P)BES·from·INFILE.·If·INFILE·is·not·present,·stdin·is·used.·	10	Solves·(P)BES·from·INFILE.·If·INFILE·is·not·present,·stdin·is·used.·


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	.\"·Manual·page·for·pbesinfo·version·201409.0·(Release).·.\"	1	.\"·Manual·page·for·pbesinfo·version·201409.0·(Release).·.\"
2	.\"·Generated·from·pbesinfo·--generate-man-page.·.\"	2	.\"·Generated·from·pbesinfo·--generate-man-page.·.\"
3	.TH·PBESINFO·"1"·"August·2020"·"pbesinfo·mCRL2·toolset·201409.0·(Release)"·"User·Commands"	3	.TH·PBESINFO·"1"·"July·2019"·"pbesinfo·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4	.SH·NAME	4	.SH·NAME
5	pbesinfo·\-·display·basic·information·about·a·PBES	5	pbesinfo·\-·display·basic·information·about·a·PBES
6	.SH·SYNOPSIS	6	.SH·SYNOPSIS
7	.B·pbesinfo	7	.B·pbesinfo
8	[\fIOPTION\fR]...·[\fIINFILE\fR]	8	[\fIOPTION\fR]...·[\fIINFILE\fR]
9	.SH·DESCRIPTION	9	.SH·DESCRIPTION
10	Print·basic·information·about·the·PBES·in·INFILE.·If·INFILE·is·not·present,·	10	Print·basic·information·about·the·PBES·in·INFILE.·If·INFILE·is·not·present,·


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	.\"·Manual·page·for·pbespp·version·201409.0·(Release).·.\"	1	.\"·Manual·page·for·pbespp·version·201409.0·(Release).·.\"
2	.\"·Generated·from·pbespp·--generate-man-page.·.\"	2	.\"·Generated·from·pbespp·--generate-man-page.·.\"
3	.TH·PBESPP·"1"·"August·2020"·"pbespp·mCRL2·toolset·201409.0·(Release)"·"User·Commands"	3	.TH·PBESPP·"1"·"July·2019"·"pbespp·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4	.SH·NAME	4	.SH·NAME
5	pbespp·\-·pretty·print·a·PBES	5	pbespp·\-·pretty·print·a·PBES
6	.SH·SYNOPSIS	6	.SH·SYNOPSIS
7	.B·pbespp	7	.B·pbespp
8	[\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]	8	[\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9	.SH·DESCRIPTION	9	.SH·DESCRIPTION
10	Print·the·PBES·in·INFILE·to·OUTFILE·in·a·human·readable·format.·If·OUTFILE·is·	10	Print·the·PBES·in·INFILE·to·OUTFILE·in·a·human·readable·format.·If·OUTFILE·is·


Offset 1, 10 lines modified		Offset 1, 10 lines modified
1	.\"·Manual·page·for·tracepp·version·201409.0·(Release).·.\"	1	.\"·Manual·page·for·tracepp·version·201409.0·(Release).·.\"
2	.\"·Generated·from·tracepp·--generate-man-page.·.\"	2	.\"·Generated·from·tracepp·--generate-man-page.·.\"
3	.TH·TRACEPP·"1"·"August·2020"·"tracepp·mCRL2·toolset·201409.0·(Release)"·"User·Commands"	3	.TH·TRACEPP·"1"·"July·2019"·"tracepp·mCRL2·toolset·201409.0·(Release)"·"User·Commands"
4	.SH·NAME	4	.SH·NAME
5	tracepp·\-·convert·and·pretty·print·traces	5	tracepp·\-·convert·and·pretty·print·traces
6	.SH·SYNOPSIS	6	.SH·SYNOPSIS
7	.B·tracepp	7	.B·tracepp
8	[\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]	8	[\fIOPTION\fR]...·[\fIINFILE\fR·[\fIOUTFILE\fR]]
9	.SH·DESCRIPTION	9	.SH·DESCRIPTION
10	Convert·the·trace·in·INFILE·and·save·it·in·another·format·to·OUTFILE.·If·	10	Convert·the·trace·in·INFILE·and·save·it·in·another·format·to·OUTFILE.·If·