Parent Directory | Revision Log
|Links to HEAD:||(view) (download) (as text) (annotate)|
Fix XML. (Portage version: 2.2.0_alpha173/cvs/Linux x86_64, signed Manifest commit with key A792A613)
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: 126.96.36.199/cvs/Linux x86_64)
Fix bug #400961, thanks to Mr. Anderson for report and fix. (Portage version: 188.8.131.52/cvs/Linux x86_64)
New ebuild, thanks Mr. Anderson for earlier version, fixes #397995 (Portage version: 184.108.40.206/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|