Diffusion afp-devel 9c3a037afdcd

more realistic timeout;
9c3a037afdcd
Actions

Tags

None

Subscribers

None

Description

more realistic timeout;

Details

Provenance

Authored on

Parents

rAFP9d1558fa13b3: proper document setup for \usepackage{times};

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP9c3a037afdcd: more realistic timeout;.Sun, Nov 5, 9:21 PM

Changes (2)

Path

Size

thys/

Regular_Tree_Relations/

Simple_Clause_Learning/

rAFP9c3a037afdcd

thys/Regular_Tree_Relations/ROOT

Loading...

thys/Simple_Clause_Learning/ROOT

Loading...