Subject: [PATCH 0/3] gnu: highlight: Update to 4.7 and add GUI package.

From: gemmaro <[email-masked]>
Date: Tue, 1 Aug 2023 08:43:25 +0900

Hello,

This patchset updates highlight to 4.7 and add highlight's graphical user
interface package (as highlight-gui).

Thank you,
gemmaro.

gemmaro (3):
  gnu: highlight: Update to 4.7.
  gnu: highlight: Use new package style.
  gnu: Add highlight-gui.

 gnu/packages/pretty-print.scm | 137 +++++++++++++++++++++++-----------
 1 file changed, 92 insertions(+), 45 deletions(-)

base-commit: 55e89da207b95230e5f2a8176acd9cc9b43971ff
-- 
2.41.0