[isabelle] Document Preparation System - Windows


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

Am I missing something?


Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
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.