Activity for Andrius Velykis
-
Andrius Velykis posted a comment on discussion Help
Hi David, Which version of Java are you using? Can you try using Java 8 and see if...
-
reverting to an older version of wagon-ssh (pri...
-
build Dev using Java 7 compatibility
-
update info on running deployment
-
reuse javadoc config
-
use uncompressed update site for now
-
update deployment config according to OSSRH ins...
-
use older version, there is a regression in the...
-
updated plugin versions
-
update versions
-
TODO: apparently VCG-Z tests use zeves dialect ...
-
Model JUnit now available on Maven Central
-
fix links to update sites (and versions in inst...
-
FIXME: comment out com.sun.beans.editors depend...
-
Merge branch 'build-fix-mars'
-
remove m2e ignores (should not have been added!)
-
update Tycho version (also requires Eclipse Mar...
-
bump bundle plugin version
-
bump to Java 8 (Java 7 has been discontinued in...
-
disable doclint to use Javadoc with JDK8 (worka...
-
fix Java 8 compilation error
-
Yeah, need to upgrade the builds to the newest versions.. Maven 3.1 has a big change...
-
Unnecessary SectionManager initialisation in Unicode2Latex
-
Added a workaround in b7e7664d3e0649dfa3c08efc45105fc642c90be6. Now direct loops...
-
Z/EVES typechecker loops with recursive typechecking
-
Also had a missing parentheses issue with schema expressions, (e.g. A \land (B \lor...
-
Bad printing of parentheses to Z/EVES
-
Fixed in 5a2f5b67c5f4ebd50ad34a64db6144c073a0d26a. Fixed the printing of both relational...
-
A similar issue also appears with HideExpr. If the hidden expression is complex (e.g....
-
Bad printing of parentheses to Z/EVES
-
Bad printing of parentheses to Z/EVES
-
ModelJUnit dependency on Maven Central
-
Hi Lomesh, Yes, Z/EVES is a quite old theorem proving system and is no longer developed....
-
Hi - sorry for a very late reply. I think you are doing everything ok with the configuration....
-
Hi Daijie, Can it be that your teacher was talking about the Rules package of CZT?...
1