The new version of ProofPower breaks a differential geometry 
proof (probably one of yours!) in my t003.

Were you expecting this to happen at this stage, I thought I 
had already sucessfully built all my stuff on the version 
with the higher order rewriting?

The changes history does not seem to be different in this 
version from what is in the 110814 version, what really 
happened since then?
(I suppose you are going to tell me to look at the diffs, but 
there are a lot of files!).

Roger

_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to