coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Beta Ziliani <beta AT mpi-sws.org>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Universe graph: distinguishing < from <= in .dot
Date: Tue, 21 Mar 2017 10:20:33 -0300
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=beta AT mpi-sws.org; spf=Neutral smtp.mailfrom=beta AT mpi-sws.org; spf=None smtp.helo=postmaster AT juno.mpi-klsb.mpg.de
Ironport-phdr: 9a23:RdM5rxKR9l6Cvns5dNmcpTZWNBhigK39O0sv0rFitYgRLvTxwZ3uMQTl6Ol3ixeRBMOAuq8C1bud7/GocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbQhFgDqwbalzIRiyogncuc0bipZ+J6gszRfEvmFGcPlMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3QqBWAzogM2Au+c3krgLDQheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4qx2UxLjljsJOCAl/2HWksxwjbxUoBS9pxxk3oXYZJiZOOdicq/BeN8XQ3dKUMRMWCxbGo6yb4UBAekcM+hGs4bwvEcOoQekCAWwGO/j1j1Fi3nr1qM6yeQhFgTG0RQ9Et0QrHTbtsj+O6QTUeCxzanH1zPDb/JL0jr684fHbAwhruuXULJ1acrRyFAjFxjLj1WLs4DlOCmV1usUvmWd8uFuVvqvhnY6pwx/pjWj3Nogh43Tio8Wy13I7yp0zYktKdGmVEJ2ZcSoHZhQui2AKYd6XN8uT3t1tCs41rELv4OwcjIQx5Q93RHfbuSKc4iW7RLnU+acOTV4hG9jeLK4nRqy9FCgyuzlWsm31FZKtTFKnsPJtnAV2Bzf8NWIReVl8keg3zaAyRzT5/lZLU06kafXMYMtz7oqmpcQsEnPBCD7lUrugK+TbEok++yo6+r9YrXho5+RL5R7hR/iMqs0gcG/BPw4MgkXU2iA9+W8z6fv/UrjQLVFlvE2iLXWsIjGJcQHoa60GxNa0oE66xqmEzim1MkYkmIcIVJeeBOHipDpNEvULPD5C/e/mVWsny1xy/DIJL2ySqnKe1PEif/Keat3oxpXzxN2xtRC7bpVDKsAKbT9QBmimsbfC0oTPhC9i9TmDNR00IJWDWiCHqaxNbvT9ESX/aQoOebaN9xdgyr0N/Vwv62mtnQ+g1JIOPDxhZY=

Hi all,

Is there a way of making arrows in the .dot files be different for
the case < and the case <=?

Thanks,
Beta

[Coq-Club] Universe graph: distinguishing < from <= in .dot, Beta Ziliani, 03/21/2017