[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Fix IsabelleTypeArgs parser

Subject: Re: Fix IsabelleTypeArgs parser
From: Chris Warburton
Date: Sun, 28 Jan 2018 23:11:20 +0000
In-reply-to: <bed12f828c26a9d0-0-artemis@nixos>
References: <bed12f828c26a9d0-0-artemis@nixos>

Fixed the regression test.

References:
- Fix IsabelleTypeArgs parser
  - From: Chris Warburton

Prev by Date: Fix IsabelleTypeArgs parser
Next by Date: Re: Fix IsabelleTypeArgs parser
Previous by thread: Fix IsabelleTypeArgs parser
Next by thread: Re: Fix IsabelleTypeArgs parser
Index(es):
- Date
- Thread