Skip to content

Close to working tabled type class#861

Open
cmester0 wants to merge 24 commits into
LPCIC:masterfrom
cmester0:master
Open

Close to working tabled type class#861
cmester0 wants to merge 24 commits into
LPCIC:masterfrom
cmester0:master

Delete apps/tc-tabled/elpi/assoc.elpi

a5ea49e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.