commit.

2025-06-05 10:18:13 +02:00
parent 9b881bf058
commit b2116c22df
6304 changed files with 464 additions and 708461 deletions
@@ -1,41 +0,0 @@
-{:highlights [{:id #uuid "65676611-291e-4ef1-b5bc-8d4f6caf0325",
-               :page 225,
-               :position {:bounding {:x1 92.1171875,
-                                     :y1 545.140625,
-                                     :x2 470.6230773925781,
-                                     :y2 568.6640625,
-                                     :width 549,
-                                     :height 776.442540938993},
-                          :rects ({:x1 92.1171875,
-                                   :y1 545.140625,
-                                   :x2 470.6230773925781,
-                                   :y2 555.640625,
-                                   :width 549,
-                                   :height 776.442540938993}
-                                  {:x1 92.1171875,
-                                   :y1 556.1640625,
-                                   :x2 286.3757629394531,
-                                   :y2 568.6640625,
-                                   :width 549,
-                                   :height 776.442540938993}),
-                          :page 225},
-               :content {:text "The predefined module CONFIGURATION in the file prelude.maude provides basic sorts and constructors for modeling object-based systems"},
-               :properties {:color "green"}}
-              {:id #uuid "6567666b-df63-40c5-92c6-a00c0afcd2e5",
-               :page 166,
-               :position {:bounding {:x1 203.57289123535156,
-                                     :y1 149.125,
-                                     :x2 537.9022216796875,
-                                     :y2 173.125,
-                                     :width 895.0000000000001,
-                                     :height 1265.7851987985407},
-                          :rects ({:x1 203.57289123535156,
-                                   :y1 149.125,
-                                   :x2 537.9022216796875,
-                                   :y2 173.125,
-                                   :width 895.0000000000001,
-                                   :height 1265.7851987985407}),
-                          :page 166},
-               :content {:text "Random numbers and counters"},
-               :properties {:color "green"}}],
- :extra {:page 227}}