[isabelle] AFP installation instructions



Hi,

I tried to register the AFP as a component as described in
http://afp.sourceforge.net/using.shtml
but it would not work:

$ tail -n 4 /opt/isabelle/Isabelle2014/etc/components 
contrib/z3-4.3.2pre-1
contrib/xz-java-1.2-1
#
/opt/isabelle/afp-2014-11-03

$ ls /opt/isabelle/afp-2014-11-03
etc  thys  tools


and yet I get: "Undefined environment variable: AFP" in Isabelle/jEdit.


I also found instructions on 
https://isabelle.in.tum.de/community/Building_AFP
telling me to use
        init_component "/opt/isabelle/afp-2014-11-03"
in .../etc/settings but that also had no effect (either system-wide or
in the personal directory).


What did I do wrong?

Greetings,
Joachim


-- 
Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter
http://pp.ipd.kit.edu/~breitner

Attachment: signature.asc
Description: This is a digitally signed message part



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