Diffusion afp-devel 07172e9ae711

adjust Lar's contact info as requested
07172e9ae711
Actions

Tags

None

Subscribers

None

Description

adjust Lar's contact info as requested

Details

Provenance

Authored on

Parents

rAFP58d7766b8964: sitegen for Padic_Field

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP07172e9ae711: adjust Lar's contact info as requested.Sep 23 2022, 12:02 PM

Changes (21)

Path

Size

metadata/

entries/

CakeML_Codegen.toml

Higher_Order_Terms.toml

Random_Graph_Subgraph_Threshold.toml

web/

authors/

diekmann/

haslbeck/

hupel/

lammich/

michaelis/

raedle/

zhang/

entries/

Constructor_Funs.html

Dict_Construction.html

Generic_Deriving.html

Hello_World.html

IP_Addresses.html

Iptables_Semantics.html

Random_Graph_Subgraph_Threshold.html

rAFP07172e9ae711

metadata/authors.toml

Loading...

metadata/entries/CakeML_Codegen.toml

Loading...

metadata/entries/Higher_Order_Terms.toml

Loading...

metadata/entries/Random_Graph_Subgraph_Threshold.toml

Loading...

web/authors/diekmann/index.html

Loading...

web/authors/haslbeck/index.html

Loading...

web/authors/hupel/index.html

Loading...

web/authors/lammich/index.html

Loading...

web/authors/michaelis/index.html

Loading...

web/authors/raedle/index.html

Loading...

web/authors/zhang/index.html

Loading...

web/entries/CakeML.html

Loading...

web/entries/Constructor_Funs.html

Loading...

web/entries/Dict_Construction.html

Loading...

web/entries/Generic_Deriving.html

Loading...

web/entries/Hello_World.html

Loading...

web/entries/IP_Addresses.html

Loading...

web/entries/Iptables_Semantics.html

Loading...

web/entries/Lazy_Case.html

Loading...

web/entries/ROBDD.html

Loading...

web/entries/Random_Graph_Subgraph_Threshold.html

Loading...