Lichen

Change of docs/wiki/Deduction

911:5c96e5ca1036
docs/wiki/Deduction
     1.1 --- a/docs/wiki/Deduction	Mon Apr 15 00:14:56 2019 +0200
     1.2 +++ b/docs/wiki/Deduction	Mon Aug 03 00:06:08 2020 +0200
     1.3 @@ -89,7 +89,7 @@
     1.4  //format=svg
     1.5  //transform=notugly
     1.6  digraph indexes {
     1.7 -  node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Indexes"];
     1.8 +  node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Indexes"];
     1.9    edge [tooltip="Indexes"];
    1.10    rankdir=LR;
    1.11  
    1.12 @@ -142,7 +142,7 @@
    1.13  //format=svg
    1.14  //transform=notugly
    1.15  digraph deduction {
    1.16 -  node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Deduction"];
    1.17 +  node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Deduction"];
    1.18    edge [tooltip="Deduction"];
    1.19    rankdir=LR;
    1.20  
    1.21 @@ -192,7 +192,7 @@
    1.22  //format=svg
    1.23  //transform=notugly
    1.24  digraph usage_to_types {
    1.25 -  node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Usage to types"];
    1.26 +  node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Usage to types"];
    1.27    edge [tooltip="Usage to types"];
    1.28    rankdir=LR;
    1.29  
    1.30 @@ -249,7 +249,7 @@
    1.31  //format=svg
    1.32  //transform=notugly
    1.33  digraph instance_providers {
    1.34 -  node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Instance providers"];
    1.35 +  node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Instance providers"];
    1.36    edge [tooltip="Instance providers"];
    1.37    rankdir=LR;
    1.38  
    1.39 @@ -310,7 +310,7 @@
    1.40  //format=svg
    1.41  //transform=notugly
    1.42  digraph assignments {
    1.43 -  node [shape=box,fontsize="13.0",fontname="Helvetica",tooltip="Attribute assignments"];
    1.44 +  node [shape=box,fontsize="13.0",fontname="sans-serif",tooltip="Attribute assignments"];
    1.45    edge [tooltip="Attribute assignments"];
    1.46    rankdir=LR;
    1.47