[isabelle] Document Preparation System - Windows



Hi,

This is the first time I am using the document preparation system in
Isabelle 2015 (Windows). It works,
but there are plenty of warning/error messages concerning Perl. Image is
attached.

Am I missing something?

Best!

-- 
Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
www.inf.pucrs.br/alfio
Av. Ipiranga, 6681 - PrÃdio 32 - Faculdade de InformÃtica
90619-900 -Porto Alegre - RS - Brasil

Attachment: isabelle_perl.PNG
Description: PNG image



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.