Build TypeTheory #180
Annotations
10 warnings
|
Build TypeTheory
The '%' scope delimiter in 'Arguments' commands is deprecated, use
|
|
Build TypeTheory
Declaring arbitrary terms as hints is fragile; it is recommended to
|
|
Build TypeTheory
Declaring arbitrary terms as hints is fragile; it is recommended to
|
|
Build TypeTheory
Overwriting previous delimiting key cat in scope cat
|
|
Build TypeTheory
Overwriting previous delimiting key cat in scope cat
|
|
Build TypeTheory
Overwriting previous delimiting key cat in scope cat
|
|
Build TypeTheory
Overwriting previous delimiting key cat in scope cat
|
|
Build TypeTheory
Overwriting previous delimiting key cat in scope cat
|
|
Build TypeTheory
Overwriting previous delimiting key cat in scope cat
|
|
Build TypeTheory
Overwriting previous delimiting key cat in scope cat
|
The logs for this run have expired and are no longer available.
Loading