Artiweb > Pull Request #3034

Formatter #3034

Description

The current Java formatter used in the sequent view is a mess. This PR tries to improve on that.

Current changes: * Remove IOException out of the interface of all pretty printing functions since it is never thrown. * Rewrite PrettyPrinter on top of Layouter * Many changes to the interface of pretty printers * Bring internal taclet printer to same format as key file formatter * Warning when "decreases" clause is missing for loop spec (5b7829d0d3c3707e9c931ad114f773fa9c693708 and 5b7829d0d3c3707e9c931ad114f773fa9c693708) * Fix double click on proof management tree (d7efb0269d6e4e2f52031fa08e00da8380373e6f)

Artifacts

09. Mar 2023 15:24 (3401.21 kB large)
09. Mar 2023 11:45 (3400.67 kB large)
09. Mar 2023 11:29 (2823.14 kB large)
08. Mar 2023 15:07 (3400.29 kB large)
08. Mar 2023 14:27 (3399.75 kB large)
08. Mar 2023 12:58 (3403.15 kB large)
07. Mar 2023 18:20 (3402.21 kB large)
06. Mar 2023 15:08 (3350.90 kB large)
06. Mar 2023 14:15 (3401.10 kB large)
23. Feb 2023 21:41 (3428.09 kB large)
23. Feb 2023 19:32 (3544.37 kB large)
23. Feb 2023 18:54 (3544.48 kB large)
23. Feb 2023 14:22 (4576.59 kB large)
23. Feb 2023 03:49 (3823.81 kB large)
23. Feb 2023 03:25 (24145.59 kB large)
22. Feb 2023 12:37 (24143.42 kB large)
21. Feb 2023 19:12 (24178.42 kB large)
21. Feb 2023 19:06 (24178.25 kB large)
21. Feb 2023 18:52 (3725.57 kB large)
21. Feb 2023 18:26 (3726.48 kB large)
21. Feb 2023 18:24 (3725.34 kB large)
21. Feb 2023 17:59 (3728.48 kB large)
10. Feb 2023 21:37 (1287.95 kB large)
10. Feb 2023 21:36 (1287.60 kB large)
10. Feb 2023 21:02 (1287.33 kB large)
10. Feb 2023 20:49 (1288.12 kB large)
10. Feb 2023 20:47 (1287.12 kB large)
10. Feb 2023 20:42 (1287.39 kB large)