Extends iovka1#58

Open

emulatingkat wants to merge 21 commits intoextendsfrom

Commits on Feb 18, 2023

+ Iovka's mail of 14 Feb, 2023
emulatingkat
committed

Commits on Feb 20, 2023

fix formatting in 5.5.2.1
emulatingkat
committed

Commits on Feb 21, 2023

fix formatting in 5.3.2.1
emulatingkat
committed

Commits on Mar 8, 2023

~ un-pre'd Preliminary definitions
Eric Prud'hommeaux
committed
+ .iovka-added class
Eric Prud'hommeaux
committed

Commits on Mar 16, 2023

~ ericP tweaks 5.2
Eric Prud'hommeaux
committed
~ s/``/span.math/
Eric Prud'hommeaux
committed
~ s/the y mapping of x/x.y/
Eric Prud'hommeaux
committed
~ strike in typing
Eric Prud'hommeaux
committed
~ 5.2 P1 completeTyping as a function
Eric Prud'hommeaux
committed
~ fix strike on in typing
Eric Prud'hommeaux
committed
~ fix RDFnodes
Eric Prud'hommeaux
committed
~ more RDFnodes and note in 5.2
Eric Prud'hommeaux
committed
+ ShapeDecls
Eric Prud'hommeaux
committed
- thats and whiches
Eric Prud'hommeaux
committed
+ stratification issue
Eric Prud'hommeaux
committed
~ start on preliminary defns
Eric Prud'hommeaux
committed
+ link to negated reference
Eric Prud'hommeaux
committed

Commits on Mar 21, 2023

~ shapes: [ShapeDecl]
Eric Prud'hommeaux
committed

Commits on Sep 25, 2023

+ IEEE look
Eric Prud'hommeaux
committed
+ ieee template
Eric Prud'hommeaux
committed