Parent Directory | Revision Log
|Links to HEAD:||(view) (download) (annotate)|
Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some functionality, like using Simpl/Vcg. (Portage version: 18.104.22.168/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is updated. It is necessary to remove any non-existing directories from /etc/isabelle/components, as otherwise isabelle getenv ISABELLE_HOME fails, which causes reverse dependent packages of sci-mathematics/isabelle to fail. (Portage version: 22.214.171.124/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
isabelle doc requires a symlink (Portage version: 126.96.36.199/cvs/Linux x86_64)
Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover IDE (PIDE) (2012 only, requires dev-lang/scala), ledit and readline use flags for the preferred tty line editor. Add dev-perl/libwww-perl dep. Add doc-src directory with use=doc (2012) as doc-src stuff is required when building doc some isabelle add on packages (sci-mathematics/haskabelle). (Portage version: 188.8.131.52/cvs/Linux x86_64)
This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, select a symbolic revision name using the selection box, or choose 'Use Text Field' and enter a numeric revision.
|Powered by ViewVC 1.1.20|