/[gentoo-x86]/sci-mathematics/isabelle/files
Gentoo

Index of /sci-mathematics/isabelle/files

Anonymous Access: cvs -d :pserver:anonymous@anoncvs.gentoo.org:/var/cvsroot co gentoo-x86/sci-mathematics/isabelle/files

Developer Access: cvs -d :ext:${USER}@cvs.gentoo.org:/var/cvsroot co gentoo-x86/sci-mathematics/isabelle/files

More Information: http://anoncvs.gentoo.org/

Files shown:14


File Rev. Age Author Last log entry
 Parent Directory        
isabelle-2011.1-gentoo-settings.patch  1.1  2 years  gienah  Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover ID…
isabelle-2011.1-graphbrowser.patch  1.1  2 years  gienah  New ebuild, thanks Mr. Anderson for earlier version, fixes #397995 (Portage ver…
isabelle-2011.1-libsha1.patch  1.1  19 months  gienah  Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some fun…
isabelle-2011.1-proofgeneral-gentoo-path.patch  1.1  2 years  gienah  New ebuild, thanks Mr. Anderson for earlier version, fixes #397995 (Portage ver…
isabelle-2011.1-reverse-line-editor-order.patch  1.1  2 years  gienah  Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover ID…
isabelle-2012-gentoo-settings.patch  1.1  2 years  gienah  Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover ID…
isabelle-2012-graphbrowser.patch  1.1  2 years  gienah  Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover ID…
isabelle-2012-libsha1.patch  1.1  19 months  gienah  Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some fun…
isabelle-2012-redundant-equations-in-function-definitions-error.patch  1.1  2 years  gienah  Patch signal handling: http://article.gmane.org/gmane.science.mathematics.logic.
isabelle-2012-reverse-line-editor-order.patch  1.1  2 years  gienah  Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover ID…
isabelle-2012-signal-handling.patch  1.1  2 years  gienah  Patch signal handling: http://article.gmane.org/gmane.science.mathematics.logic.
isabelle-2013-HOL-Predicate_Compile_Examples.patch  1.1  11 months  gienah  Bump isabelle to 2013, fixes bug 468344 (Portage version: 2.2.1/cvs/Linux x86_6…
isabelle-2013-classpath.patch  1.1  11 months  gienah  Bump isabelle to 2013, fixes bug 468344 (Portage version: 2.2.1/cvs/Linux x86_6…
isabelle-2013-gentoo-settings.patch  1.1  11 months  gienah  Bump isabelle to 2013, fixes bug 468344 (Portage version: 2.2.1/cvs/Linux x86_6…

Sticky Tag:

  ViewVC Help
Powered by ViewVC 1.1.20