Tree @debian/7.2.0-2 (Download .tar.gz)

• bench
• boot
• customize
• debian
• demo
• gen-files
• library
• man
• packages
• ReleaseNotes
• scripts
• src
• .fileheader
• .gitignore
• .gitmodules
• build.templ
• configure
• COPYING
• INSTALL
• Makefile.in
• prepare
• README
• README.cygwin
• README.doc
• README.git
• README.gmp
• README.linux
• README.MacOSX
• README.mingw
• README.windows
• swipl.home
• VERSION