Path: i2pn2.org!i2pn.org!aioe.org!news.mb-net.net!open-news-network.org!news.bgeserver.de!news.arnold-schiller.de!news2.open-news-network.org!.POSTED.comedy.dante.de!not-for-mail
From: ctan-ann@ctan.org (CTAN Announcements)
Newsgroups: comp.text.tex
Subject: CTAN update: formal-grammar
Date: Tue, 16 Nov 2021 20:12:01 +0100 (CET)
Organization: news2.open-news-network.org
Lines: 37
Message-ID: <mailman.657.1637089933.10251.ctan-ann@ctan.org>
Reply-To: ctan-ann@ctan.org
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Injection-Info: news2.open-news-network.org; posting-host="comedy.dante.de:5.35.249.60";
logging-data="1965058"; mail-complaints-to="abuse@bgeserver.de"
User-Agent: Alpine 2.22 (DEB 394 2020-01-19)
To: ctan-ann@ctan.org
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ctan.org; s=201703;
t=1637089932; bh=9E6lL9xVHpCr/LssHaAGEoR5CgX47DXszO3SvlIMl10=;
h=Date:From:Reply-To:To:Subject:From;
b=dQKP+1kXnBbXE1bBFooeWa0cGFeYbCV6ZOwUpBg7uInQjhcg95UDBoTZTnnI8m0/b
Wm4xohXgAp6NaAwa+Y6jULh/cJIn/tO6vUPmFT2/U4Vd7umcNfbPdbmG/3/FDv22z5
mI4AOr3MMOtzyuiN1VMOXYWX698aWF4W89OY6+Nc=
X-BeenThere: ctan-ann@ctan.org
X-Mailman-Version: 2.1.23
Precedence: list
List-Id: CTAN Announcements <ctan-ann.ctan.org>
List-Unsubscribe: <https://lists.dante.de/mailman/options/ctan-ann>,
<mailto:ctan-ann-request@ctan.org?subject=unsubscribe>
List-Archive: <https://lists.dante.de/pipermail/ctan-ann/>
List-Help: <mailto:ctan-ann-request@ctan.org?subject=help>
List-Subscribe: <https://lists.dante.de/mailman/listinfo/ctan-ann>,
<mailto:ctan-ann-request@ctan.org?subject=subscribe>