Home My Page Projects Ott
Summary Activity Tracker

[#11381] sample file in distrib does not compile

Date:
2010-11-03 08:38
Priority:
3
State:
Open
Submitted by:
Francesco Zappa Nardelli (zappa)
Assigned to:
Nobody (None)
Summary:
sample file in distrib does not compile

Detailed description
(submitted by Marcin Zalewski)


There is a tiny problem with the latest (FZ: might not be the latest as I received the email on january 2010) distribution of Ott. The tex example in the tex directory does not compile (by doing a make):

Definition rules: 77 good 5 bad
Definition rule clauses: 245 good 5 bad

Add A Comment: Notepad

Followup

No Followups Have Been Posted

Attached Files:

Changes:

No Changes Have Been Made to This Item