Spaces and newlines reformatting

docs/prover/changelog/gui_changelog.md

@@ -8,10 +8,12 @@ GUI Release Notes
 ---------------------------
 
 ### Features
+
 - [feat] Support for displaying numeric values in string, decimal, or hexadecimal formats in Call Trace and Variables tabs, with a dropdown to switch formats.
 - [feat] Persist column configuration (display selection and width) across browser sessions on the Prover Dashboard, including between tabs and logins.
 - [feat] Added call traces and TAC dumps for sanity rules in Rule Report.
 
+
 3.0.2 (Nov 18, 2024)
 ---------------------------
 
@@ -20,8 +22,10 @@ GUI Release Notes
 - [feat] Improved formatting of the call trace: The call trace highlights values of the counter examples as gray boxes and provides tooltips indicating the semantics of the value (e.g. if the value is a return value or a parameter of a function call).
 - [feat] The rule tree automatically opens a node if it only contains a single child element. This reduces the number of user interactions required to get to the call trace and find the counter example.
 
+
 2.4.4 (Nov 6, 2024)
 ---------------------------
+
 ### Features
 
 - [feat] Adding support for syntax highlighting of Rust files in the code editor
@@ -31,6 +35,7 @@ GUI Release Notes
 
 - [bug] The re-run button was reported to not function for non-Certora users. This has been fixed.
 
+
 2.4.1 (Oct 6, 2024)
 ---------------------------
 
@@ -55,6 +60,7 @@ GUI Release Notes
 
 - [feat] Job execution status in browser tab
 
+
 2.1.6 (Jul 8, 2024)
 ---------------------------
 
@@ -79,6 +85,7 @@ GUI Release Notes
 - [fix] Expansion bug on the main UI grid
 - [fix] Fixes for the call trace tracking points
 
+
 1.0.0 (Apr 11, 2024)
 ---------------------------
 
@@ -92,6 +99,7 @@ GUI Release Notes
 ### Fixed Bugs
 
 - [fix] When a job has been canceled or halted, only rules that were running are being displayed as killed 
+
 
 0.8.0 (Mar 11, 2024)
 ---------------------------
@@ -136,6 +144,7 @@ GUI Release Notes
 
 - [feat] Improvements on naming for global / rule notifications
 
+
 0.5.62 (Feb 11, 2024)
 ---------------------------