https://github.com/ederc/Sources
Revision 51d228924691fa6b39f5a666fa1fd5125f7ff770 authored by Hans Schoenemann on 31 May 2019, 15:15:19 UTC, committed by Hans Schoenemann on 31 May 2019, 15:15:19 UTC
Tip revision: 51d228924691fa6b39f5a666fa1fd5125f7ff770 authored by Hans Schoenemann on 31 May 2019, 15:15:19 UTC
Merge branch 'ederc-local-z' into spielwiese
Merge branch 'ederc-local-z' into spielwiese
Tip revision: 51d2289
File | Mode | Size |
---|---|---|
IntegerProgramming | ||
Singular | ||
Tst | ||
desktop | ||
doc | ||
dox | ||
emacs | ||
factory | ||
gfanlib | ||
kernel | ||
libpolys | ||
logo | ||
m4 | ||
misc | ||
modules | ||
old_modgen | ||
omalloc | ||
ppcc | ||
redhat | ||
resources | ||
standalone.test | ||
templates | ||
tests | ||
.gdbinit | -rw-r--r-- | 693 bytes |
.gitattributes | -rw-r--r-- | 210 bytes |
.gitignore | -rw-r--r-- | 1.8 KB |
AUTHORS | -rw-r--r-- | 0 bytes |
COPYING | -rw-r--r-- | 5.5 KB |
ChangeLog | -rw-r--r-- | 0 bytes |
GPL2 | -rw-r--r-- | 17.6 KB |
GPL3 | -rw-r--r-- | 34.3 KB |
Makefile.am | -rw-r--r-- | 1.0 KB |
NEWS | -rw-r--r-- | 0 bytes |
README | -rw-r--r-- | 837 bytes |
README.md | -rw-r--r-- | 871 bytes |
README.pkg | -rw-r--r-- | 1.0 KB |
Singular.pc.in | -rw-r--r-- | 399 bytes |
autogen.sh | -rwxr-xr-x | 335 bytes |
clone_autogen_generated_stuff.sh | -rwxr-xr-x | 221 bytes |
configure.ac | -rw-r--r-- | 8.6 KB |
doxy | -rwxr-xr-x | 1.8 KB |
git-archive | -rwxr-xr-x | 694 bytes |
git-version-gen | -rwxr-xr-x | 548 bytes |
libsingular-config.in | -rwxr-xr-x | 1.6 KB |
main.dox | -rw-r--r-- | 4.2 KB |
make_tar.sh | -rw-r--r-- | 1.6 KB |
Computing file changes ...