updated proof

RosaWagner · Oct 10, 2023 · dd3d42c · dd3d42c
1 parent c4f9229
commit dd3d42c
Show file tree

Hide file tree

Showing 4 changed files with 22 additions and 22 deletions.
diff --git a/Borel/fonts/ttf/Borel-Regular.ttf b/Borel/fonts/ttf/Borel-Regular.ttf
diff --git a/Borel/fonts/webfonts/Borel-Regular.woff2 b/Borel/fonts/webfonts/Borel-Regular.woff2
diff --git a/Borel/sources/Borel.glyphs b/Borel/sources/Borel.glyphs
@@ -41961,7 +41961,7 @@ width = 680;
 {
 color = 6;
 glyphname = hookabovecomb;
-lastChange = "2023-10-10 08:28:21 +0000";
+lastChange = "2023-10-10 13:29:36 +0000";
 layers = (
 {
 anchors = (
@@ -41982,18 +41982,18 @@ nodes = (
 (417,632,o),
 (417,699,cs),
 (417,769,o),
-(365,810,o),
-(263,810,cs),
-(211,810,o),
-(157,798,o),
-(127,784,c),
-(126,755,o),
-(137,726,o),
-(152,709,c),
-(187,722,o),
-(222,729,o),
-(257,729,cs),
-(303,729,o),
+(368,810,o),
+(272,810,cs),
+(222,810,o),
+(180,799,o),
+(147,786,c),
+(146,757,o),
+(155,728,o),
+(168,711,c),
+(194,719,o),
+(228,729,o),
+(266,729,cs),
+(306,729,o),
 (325,718,o),
 (325,696,cs),
 (325,673,o),
@@ -42565,7 +42565,7 @@ width = 550;
 color = 6;
 export = 0;
 glyphname = hookabovecomb.loclVIT;
-lastChange = "2023-10-10 08:28:21 +0000";
+lastChange = "2023-10-10 13:30:21 +0000";
 layers = (
 {
 anchors = (
@@ -42592,14 +42592,14 @@ nodes = (
 (383,681,o),
 (338,723,o),
 (252,723,cs),
-(206,723,o),
-(161,711,o),
-(135,697,c),
-(134,669,o),
-(144,641,o),
-(157,624,c),
-(186,637,o),
-(217,644,o),
+(203,723,o),
+(161,713,o),
+(135,699,c),
+(134,671,o),
+(144,643,o),
+(157,626,c),
+(186,638,o),
+(219,644,o),
 (245,644,cs),
 (279,644,o),
 (294,632,o),

diff --git a/documentation/proof/proof_lowercases.pdf b/documentation/proof/proof_lowercases.pdf