"Fossies" - the Fresh Open Source Software Archive

Contents of pure-0.66.tar.gz (4 Mar 23:13, 1512084 Bytes)

About: Pure is a modern-style functional programming language based on term rewriting (successor of Q language).



Fossies path:  /linux/misc/pure-0.66.tar.gz   [Download | Doxygen docs | Diffs report | CLOC analysis]
VirusTotal check: Ok
Alternative downloads:  tar.bz2 | tar.xz | zip
Member paths+URLs:  Shortened | full
Member sort order:  docs related (infos|docs|other) | original | size | date | path | name | ext | top-path files

Basic infos (README, FAQ, INSTALL, ChangeLog, ...):
-rw-r--r--        223377 2017-03-04 21:18 ChangeLog
-rw-r--r--         35147 2016-06-30 13:24 COPYING
-rw-r--r--         52299 2017-03-04 21:35 INSTALL
-rw-r--r--         75770 2017-03-04 21:18 NEWS
-rw-r--r--          8510 2017-02-25 00:49 README
-rw-r--r--          2458 2016-06-30 13:24 TODO
-rw-r--r--          6353 2017-03-04 21:33 debian/changelog
-rw-r--r--          1756 2016-06-30 13:24 examples/COPYING
-rw-r--r--            28 2016-06-30 13:24 debian/libpure8.install
-rw-r--r--            43 2016-06-30 13:24 debian/pure-dev.install
-rw-r--r--            26 2016-06-30 13:24 debian/pure-elisp.install
-rw-r--r--           312 2016-06-30 13:24 debian/pure.install
-rw-r--r--            85 2017-02-24 00:34 debian/pure-texmacs.install

Basic docs (manual pages, PDF-,HTML-,/doc/-files, ...):
-rw-r--r--          6680 2017-02-24 00:36 pure.1
-rw-r--r--            26 2016-06-30 13:24 debian/docs

All other files:
-rw-r--r--         38762 2017-02-24 16:02 acinclude.m4
-rw-r--r--           691 2017-03-04 21:21 aclocal.m4
-rw-r--r--           898 2016-06-30 13:24 test/amd64-linux32.blob
-rw-r--r--           898 2016-06-30 13:24 test/amd64-linux64.blob
-rw-r--r--           898 2016-06-30 13:24 test/amd64-win32.blob
-rw-r--r--         10651 2016-06-30 13:24 lib/array.pure
-rw-r--r--          7183 2017-02-24 00:36 examples/ats_list_demo/ats_list_demo/CATS/ats_list_demo.cats
-rw-r--r--          6215 2017-02-24 00:36 examples/ats_list_demo/ats_list_demo/DATS/ats_list_demo.dats
-rw-r--r--          3093 2017-02-24 00:36 examples/ats_list_demo/ats_list_demo.pure
-rw-r--r--          4177 2017-02-24 00:36 examples/ats_list_demo/ats_list_demo/SATS/ats_list_demo.sats
-rw-r--r--          2760 2016-06-30 13:24 examples/avltree.pure
-rw-r--r--         24886 2017-02-24 00:34 lib/avltrees.pure
-rw-r--r--          1150 2016-06-30 13:24 examples/binarytrees.pure
-rw-r--r--          2318 2016-06-30 13:24 examples/libor/bits.pure
-rw-r--r--          2154 2016-06-30 13:24 examples/combinators.pure
-rw-r--r--             2 2016-06-30 13:24 debian/compat
-rwxr-xr-x         46072 2017-02-24 00:34 config/config.guess
-rw-r--r--          9919 2017-02-26 23:14 config.h.in
-rwxr-xr-x         35639 2017-02-24 00:34 config/config.sub
-rwxr-xr-x         18897 2017-03-04 20:51 configure.ac
-rwxr-xr-x        267417 2017-03-04 21:21 configure
-rw-r--r--         10545 2017-02-24 00:36 debian/control
-rw-r--r--          7637 2016-06-30 13:24 COPYING.LESSER
-rw-r--r--          3281 2017-02-24 19:52 COPYING.LLVM
-rw-r--r--          1757 2016-06-30 13:24 examples/libor/COPYING
-rw-r--r--          1900 2017-02-24 00:36 debian/copyright
-rw-r--r--         11259 2016-06-30 13:24 examples/libor/date.pure
-rw-r--r--          3540 2016-06-30 13:24 examples/date.pure
-rw-r--r--          1742 2016-06-30 13:24 examples/texmacs/dejavu.ts
-rw-r--r--         22952 2017-02-24 00:34 lib/dict.pure
-rw-r--r--          1683 2016-06-30 13:24 examples/do.pure
-rw-r--r--          6573 2016-06-30 13:24 lib/enum.pure
-rw-r--r--         10429 2016-06-30 13:24 expr.cc
-rw-r--r--         25144 2017-02-24 00:34 expr.hh
-rw-r--r--           173 2016-06-30 13:24 examples/bitcode/fact.f90
-rw-r--r--          1202 2016-06-30 13:24 examples/bitcode/fact.pure
-rw-r--r--          4891 2016-06-30 13:24 examples/bitcode/faust_examp.pure
-rw-r--r--          7622 2016-06-30 13:24 lib/faustui.pure
-rw-r--r--          2841 2016-06-30 13:24 examples/fibonacci.pure
-rw-r--r--          3932 2016-06-30 13:24 examples/fork.pure
-rw-r--r--            12 2016-06-30 13:24 debian/source/format
-rw-r--r--          1573 2016-06-30 13:24 examples/fortran.f90
-rw-r--r--          2437 2016-06-30 13:24 examples/fortran.pure
-rw-r--r--          2737 2016-06-30 13:24 examples/bitcode/freeverb.dsp
-rw-r--r--          1003 2016-06-30 13:24 examples/bitcode/freeverb.pure
-rw-r--r--         57562 2016-06-30 13:24 funcall.h
-rw-r--r--          6657 2017-02-24 00:36 examples/bitcode/gauss_jordan.pure
-rw-r--r--          3020 2016-06-30 13:24 examples/gauss.pure
-rw-r--r--          7360 2016-06-30 13:24 lib/getopt.pure
-rw-r--r--           258 2016-06-30 13:24 examples/bitcode/gslsort.c
-rw-r--r--           478 2016-06-30 13:24 examples/bitcode/gslsort.pure
-rw-r--r--          2011 2016-06-30 13:24 gsl_structs.h
-rw-r--r--          6896 2016-06-30 13:24 lib/heap.pure
-rw-r--r--            85 2016-06-30 13:24 examples/hellomod/hello.c
-rw-r--r--         10782 2016-06-30 13:24 examples/hello.pure
-rw-r--r--            73 2016-06-30 13:24 examples/hellomod/hello.pure
-rw-r--r--          3476 2016-06-30 13:24 examples/huffman.pure
-rw-r--r--         11854 2017-02-24 00:34 texmacs/plugins/pure/progs/init-pure.scm
-rw-r--r--          1586 2017-02-24 00:36 examples/bitcode/inline_ats_examp.pure
-rw-r--r--          6439 2016-06-30 13:24 examples/bitcode/inline_examp.pure
-rwxr-xr-x          1336 2016-06-30 13:24 install-docs.sh
-rwxr-xr-x          7122 2016-06-30 13:24 config/install-sh
-rw-r--r--        564182 2017-03-02 22:05 interpreter.cc
-rw-r--r--         60193 2017-03-02 22:04 interpreter.hh
-rw-r--r--         10993 2016-06-30 13:24 examples/texmacs/latex-example.tm
-rw-r--r--         11125 2016-06-30 13:24 examples/texmacs/latex.pure
-rw-r--r--        416115 2017-03-02 19:39 lexer.cc
-rw-r--r--          1169 2017-02-24 00:34 lexerdefs.hh
-rw-r--r--        119233 2017-03-02 19:23 lexer.ll
-rw-r--r--          2500 2016-06-30 13:24 examples/life.pure
-rw-r--r--          3416 2016-06-30 13:24 examples/linalg.pure
-rw-r--r--           106 2016-06-30 13:24 test/locale.pure
-rw-r--r--          5210 2017-02-24 00:35 location.hh
-rw-r--r--         15362 2017-03-04 19:11 examples/lucid.pure
-rw-r--r--          8086 2016-06-30 13:24 examples/lu.pure
-rw-r--r--         23448 2017-02-26 23:19 Makefile.in
-rw-r--r--           663 2016-06-30 13:24 examples/Makefile.in
-rw-r--r--          2616 2016-06-30 13:24 examples/hellomod/Makefile
-rw-r--r--          3658 2017-02-24 00:36 examples/bitcode/Makefile
-rw-r--r--          3750 2017-02-24 00:36 examples/ats_list_demo/Makefile
-rw-r--r--         22195 2016-06-30 13:24 matcher.cc
-rw-r--r--          8054 2016-06-30 13:24 matcher.hh
-rw-r--r--         24270 2017-02-24 00:34 lib/math.pure
-rw-r--r--         43139 2017-02-24 00:34 lib/matrices.pure
-rw-r--r--          5727 2016-06-30 13:24 examples/matrix_inversion.pure
-rw-r--r--          4520 2016-06-30 13:24 examples/msort.pure
-rw-r--r--          2234 2016-06-30 13:24 examples/bitcode/myinterp.pure
-rw-r--r--          2858 2016-06-30 13:24 examples/libor/myutils.pure
-rw-r--r--        107008 2017-02-24 00:35 parser.cc
-rw-r--r--          2319 2016-06-30 13:24 parserdefs.hh
-rw-r--r--         15372 2017-02-24 00:35 parser.hh
-rw-r--r--         26531 2017-02-24 00:34 parser.yy
-rw-r--r--          3979 2016-06-30 13:24 lib/pointers.pure
-rw-r--r--          1883 2016-06-30 13:24 examples/poor.c
-rw-r--r--          1153 2016-06-30 13:24 examples/popen2.pure
-rw-r--r--          4839 2017-02-24 00:35 position.hh
-rw-r--r--          2393 2016-06-30 13:24 lib/posix.pure
-rw-r--r--           898 2016-06-30 13:24 test/ppc32-linux32.blob
-rw-r--r--        152616 2017-03-02 23:23 test/prelude.log
-rw-r--r--         59298 2017-02-24 19:42 lib/prelude.pure
-rw-r--r--         80574 2017-02-24 00:34 lib/primitives.pure
-rw-r--r--         35512 2017-03-02 23:28 printer.cc
-rw-r--r--          1686 2016-06-30 13:24 printer.hh
-rw-r--r--          2735 2017-02-24 00:34 texmacs/plugins/pure/doc/pure-abstract.en.tm
-rw-r--r--         30951 2017-02-26 22:43 pure.cc
-rw-r--r--         25014 2017-02-24 00:34 texmacs/plugins/pure/doc/pure-descr.en.tm
-rw-r--r--          2450 2016-06-30 13:24 texmacs/packages/puredoc.ts
-rw-r--r--          1098 2016-06-30 13:24 texmacs/plugins/pure/doc/pure.en.tm
-rw-r--r--          1238 2016-06-30 13:24 etc/pure-highlight.lang
-rw-r--r--         25066 2016-06-30 13:24 texmacs/plugins/pure/progs/pure-input.scm
-rw-r--r--          6348 2016-06-30 13:24 etc/pure.lang
-rw-r--r--          1891 2016-06-30 13:24 pure_main.c
-rw-r--r--        124153 2017-03-04 20:39 etc/pure-mode.el.in
-rw-r--r--           917 2016-06-30 13:24 etc/pure.nanorc
-rw-r--r--         21194 2017-02-26 22:44 pure_norl.cc
-rw-r--r--          1281 2017-02-24 00:34 pure.pc.in
-rw-r--r--          3840 2016-06-30 13:24 etc/pure.plist
-rw-r--r--          3893 2016-06-30 13:24 etc/pure.py
-rw-r--r--           957 2016-06-30 13:24 examples/texmacs/pure-session-styles.ts
-rw-r--r--          1652 2016-06-30 13:24 etc/pure.ssh
-rw-r--r--       1172012 2017-02-24 00:34 texmacs/plugins/pure/doc/pure-texmacs.en.tm
-rw-r--r--        605762 2017-02-24 19:49 pure.txt
-rw-r--r--          2659 2016-06-30 13:24 etc/pure.vim
-rw-r--r--          5624 2016-06-30 13:24 etc/pure.xml
-rw-r--r--          1796 2016-06-30 13:24 examples/quasiquote1.pure
-rw-r--r--          4258 2016-06-30 13:24 lib/quasiquote.pure
-rw-r--r--          7415 2016-06-30 13:24 examples/libor/queens.pure
-rw-r--r--          6816 2017-02-24 00:36 lib/records.pure
-rw-r--r--          1754 2017-02-24 00:36 examples/recursive.pure
-rw-r--r--          2467 2017-02-24 00:36 examples/reflection.pure
-rw-r--r--           190 2017-02-24 00:36 test/regex_defs.pure
-rw-r--r--         20301 2017-02-24 00:36 lib/regex.pure
-rw-r--r--          1054 2016-06-30 13:24 examples/rules.pure
-rwxr-xr-x           962 2017-02-24 00:36 debian/rules
-rw-r--r--           776 2016-06-30 13:24 run-test.in
-rw-r--r--          2160 2017-02-24 00:34 run-tests.in
-rw-r--r--        487613 2017-02-24 01:18 runtime.cc
-rw-r--r--         79725 2017-02-24 00:36 runtime.h
-rw-r--r--          5760 2016-06-30 13:24 examples/sample.purerc
-rw-r--r--         16862 2017-02-24 00:34 lib/set.pure
-rw-r--r--           569 2016-06-30 13:24 examples/sieve.pure
-rw-r--r--           842 2016-06-30 13:24 examples/signal.pure
-rw-r--r--          1644 2016-06-30 13:24 examples/sortalgos.pure
-rw-r--r--          3885 2016-06-30 13:24 examples/sort.c
-rw-r--r--          1468 2016-06-30 13:24 examples/spawn.pure
-rw-r--r--        302004 2017-03-02 23:23 test/special.log
-rw-r--r--          1793 2016-06-30 13:24 test/special.pure
-rw-r--r--          3464 2017-02-24 00:35 stack.hh
-rw-r--r--          1162 2016-06-30 13:24 examples/stack.pure
-rw-r--r--         20300 2017-02-24 00:34 lib/strings.pure
-rw-r--r--         35995 2016-06-30 13:24 strptime.c
-rw-r--r--          1451 2016-06-30 13:24 examples/sudoku.pure
-rw-r--r--          1116 2016-06-30 13:24 examples/symbolic.pure
-rw-r--r--         17810 2017-03-02 22:54 symtable.cc
-rw-r--r--         13103 2017-03-02 22:52 symtable.hh
-rw-r--r--         47331 2016-06-30 13:24 lib/system.pure
-rw-r--r--          4234 2016-06-30 13:24 test/test001.log
-rw-r--r--          1574 2016-06-30 13:24 test/test001.pure
-rw-r--r--          1480 2016-06-30 13:24 test/test002.log
-rw-r--r--           390 2016-06-30 13:24 test/test002.pure
-rw-r--r--           395 2016-06-30 13:24 test/test003.log
-rw-r--r--            91 2016-06-30 13:24 test/test003.pure
-rw-r--r--          2275 2016-06-30 13:24 test/test004.log
-rw-r--r--          1361 2016-06-30 13:24 test/test004.pure
-rw-r--r--           205 2016-06-30 13:24 test/test005.log
-rw-r--r--            46 2016-06-30 13:24 test/test005.pure
-rw-r--r--           205 2016-06-30 13:24 test/test006.log
-rw-r--r--            63 2016-06-30 13:24 test/test006.pure
-rw-r--r--           233 2016-06-30 13:24 test/test007.log
-rw-r--r--            30 2016-06-30 13:24 test/test007.pure
-rw-r--r--          1016 2016-06-30 13:24 test/test008.log
-rw-r--r--           253 2016-06-30 13:24 test/test008.pure
-rw-r--r--          2533 2016-06-30 13:24 test/test009.log
-rw-r--r--           394 2016-06-30 13:24 test/test009.pure
-rw-r--r--           139 2016-06-30 13:24 test/test010.log
-rw-r--r--            89 2016-06-30 13:24 test/test010.pure
-rw-r--r--           588 2016-06-30 13:24 test/test011.log
-rw-r--r--           207 2016-06-30 13:24 test/test011.pure
-rw-r--r--           908 2016-06-30 13:24 test/test012.log
-rw-r--r--           150 2016-06-30 13:24 test/test012.pure
-rw-r--r--           174 2016-06-30 13:24 test/test013.log
-rw-r--r--           107 2016-06-30 13:24 test/test013.pure
-rw-r--r--          2030 2016-06-30 13:24 test/test014.log
-rw-r--r--           936 2016-06-30 13:24 test/test014.pure
-rw-r--r--         67368 2016-06-30 13:24 test/test015.log
-rw-r--r--         11926 2016-06-30 13:24 test/test015.pure
-rw-r--r--           899 2016-06-30 13:24 test/test016.log
-rw-r--r--           273 2016-06-30 13:24 test/test016.pure
-rw-r--r--           852 2016-06-30 13:24 test/test017.log
-rw-r--r--           210 2016-06-30 13:24 test/test017.pure
-rw-r--r--          1509 2016-06-30 13:24 test/test018.log
-rw-r--r--          1451 2016-06-30 13:24 test/test018.pure
-rw-r--r--           277 2016-06-30 13:24 test/test019.log
-rw-r--r--            99 2016-06-30 13:24 test/test019.pure
-rw-r--r--        143501 2017-02-24 00:34 test/test020.log
-rw-r--r--          3110 2017-02-24 00:34 test/test020.pure
-rw-r--r--          9257 2016-06-30 13:24 test/test021.log
-rw-r--r--          2101 2016-06-30 13:24 test/test021.pure
-rw-r--r--          2021 2016-06-30 13:24 test/test022.log
-rw-r--r--           932 2016-06-30 13:24 test/test022.pure
-rw-r--r--           663 2016-06-30 13:24 test/test023.log
-rw-r--r--           166 2016-06-30 13:24 test/test023.pure
-rw-r--r--          2303 2016-06-30 13:24 test/test024.log
-rw-r--r--           477 2016-06-30 13:24 test/test024.pure
-rw-r--r--         24810 2017-02-24 00:34 test/test025.log
-rw-r--r--          7448 2017-02-24 00:34 test/test025.pure
-rw-r--r--           861 2016-06-30 13:24 test/test026.log
-rw-r--r--           501 2016-06-30 13:24 test/test026.pure
-rw-r--r--           492 2016-06-30 13:24 test/test027.log
-rw-r--r--            98 2016-06-30 13:24 test/test027.pure
-rw-r--r--          3044 2016-06-30 13:24 test/test028.log
-rw-r--r--           718 2016-06-30 13:24 test/test028.pure
-rw-r--r--           151 2016-06-30 13:24 test/test029.log
-rw-r--r--           154 2016-06-30 13:24 test/test029.pure
-rw-r--r--          4448 2016-06-30 13:24 test/test030.log
-rw-r--r--          1331 2016-06-30 13:24 test/test030.pure
-rw-r--r--          1955 2016-06-30 13:24 test/test031.log
-rw-r--r--          1173 2016-06-30 13:24 test/test031.pure
-rw-r--r--           361 2016-06-30 13:24 test/test032.log
-rw-r--r--            40 2016-06-30 13:24 test/test032.pure
-rw-r--r--           121 2016-06-30 13:24 test/test033.log
-rw-r--r--            60 2016-06-30 13:24 test/test033.pure
-rw-r--r--          1435 2016-06-30 13:24 test/test034.log
-rw-r--r--           251 2016-06-30 13:24 test/test034.pure
-rw-r--r--           789 2016-06-30 13:24 test/test035.log
-rw-r--r--          1313 2016-06-30 13:24 test/test035.pure
-rw-r--r--          9079 2016-06-30 13:24 test/test036.log
-rw-r--r--          1172 2016-06-30 13:24 test/test036.pure
-rw-r--r--           179 2016-06-30 13:24 test/test037.log
-rw-r--r--           148 2016-06-30 13:24 test/test037.pure
-rw-r--r--            72 2016-06-30 13:24 test/test038.log
-rw-r--r--            37 2016-06-30 13:24 test/test038.pure
-rw-r--r--           642 2016-06-30 13:24 test/test039.log
-rw-r--r--          1257 2016-06-30 13:24 test/test039.pure
-rw-r--r--           801 2016-06-30 13:24 test/test040.log
-rw-r--r--           210 2016-06-30 13:24 test/test040.pure
-rw-r--r--          2453 2017-02-24 00:34 test/test041.log
-rw-r--r--          1061 2016-06-30 13:24 test/test041.pure
-rw-r--r--          5055 2017-02-24 00:34 test/test042.log
-rw-r--r--          2674 2017-02-24 00:34 test/test042.pure
-rw-r--r--           153 2016-06-30 13:24 test/test043.log
-rw-r--r--           151 2016-06-30 13:24 test/test043.pure
-rw-r--r--           734 2017-02-24 00:34 test/test044.log
-rw-r--r--           296 2016-06-30 13:24 test/test044.pure
-rw-r--r--           329 2016-06-30 13:24 test/test045.log
-rw-r--r--           190 2016-06-30 13:24 test/test045.pure
-rw-r--r--          4284 2016-06-30 13:24 test/test046.log
-rw-r--r--           866 2016-06-30 13:24 test/test046.pure
-rw-r--r--          1914 2016-06-30 13:24 test/test047.log
-rw-r--r--           858 2016-06-30 13:24 test/test047.pure
-rw-r--r--           418 2016-06-30 13:24 test/test048.log
-rw-r--r--           343 2016-06-30 13:24 test/test048.pure
-rw-r--r--           753 2016-06-30 13:24 test/test049.log
-rw-r--r--           191 2016-06-30 13:24 test/test049.pure
-rw-r--r--           341 2016-06-30 13:24 test/test050.log
-rw-r--r--           116 2016-06-30 13:24 test/test050.pure
-rw-r--r--           639 2016-06-30 13:24 test/test051.log
-rw-r--r--           356 2016-06-30 13:24 test/test051.pure
-rw-r--r--          1059 2016-06-30 13:24 test/test052.log
-rw-r--r--           329 2016-06-30 13:24 test/test052.pure
-rw-r--r--           335 2016-06-30 13:24 test/test053.log
-rw-r--r--           284 2016-06-30 13:24 test/test053.pure
-rw-r--r--            92 2016-06-30 13:24 test/test054.log
-rw-r--r--           100 2016-06-30 13:24 test/test054.pure
-rw-r--r--           675 2016-06-30 13:24 test/test055.log
-rw-r--r--           270 2016-06-30 13:24 test/test055.pure
-rw-r--r--            52 2016-06-30 13:24 test/test056.log
-rw-r--r--           261 2016-06-30 13:24 test/test056.pure
-rw-r--r--           701 2016-06-30 13:24 test/test057.log
-rw-r--r--           184 2016-06-30 13:24 test/test057.pure
-rw-r--r--          3088 2016-06-30 13:24 test/test058.log
-rw-r--r--          1699 2016-06-30 13:24 test/test058.pure
-rw-r--r--           108 2016-06-30 13:24 test/test059.log
-rw-r--r--           146 2016-06-30 13:24 test/test059.pure
-rw-r--r--          5019 2016-06-30 13:24 test/test060.log
-rw-r--r--           972 2016-06-30 13:24 test/test060.pure
-rw-r--r--         14639 2016-06-30 13:24 test/test061.log
-rw-r--r--          4525 2016-06-30 13:24 test/test061.pure
-rw-r--r--          3184 2016-06-30 13:24 test/test062.log
-rw-r--r--           814 2016-06-30 13:24 test/test062.pure
-rw-r--r--          3794 2016-06-30 13:24 test/test063.log
-rw-r--r--          1130 2016-06-30 13:24 test/test063.pure
-rw-r--r--          2081 2016-06-30 13:24 test/test064.log
-rw-r--r--           535 2016-06-30 13:24 test/test064.pure
-rw-r--r--           952 2016-06-30 13:24 test/test065.log
-rw-r--r--           196 2016-06-30 13:24 test/test065.pure
-rw-r--r--          3067 2016-06-30 13:24 test/test066.log
-rw-r--r--          1128 2016-06-30 13:24 test/test066.pure
-rw-r--r--           219 2016-06-30 13:24 test/test067.log
-rw-r--r--           175 2016-06-30 13:24 test/test067.pure
-rw-r--r--          1935 2016-06-30 13:24 test/test068.log
-rw-r--r--           869 2016-06-30 13:24 test/test068.pure
-rw-r--r--           230 2016-06-30 13:24 test/test069.log
-rw-r--r--           182 2016-06-30 13:24 test/test069.pure
-rw-r--r--           470 2016-06-30 13:24 test/test070.log
-rw-r--r--           715 2016-06-30 13:24 test/test070.pure
-rw-r--r--            60 2016-06-30 13:24 test/test071.log
-rw-r--r--           257 2016-06-30 13:24 test/test071.pure
-rw-r--r--         12773 2016-06-30 13:24 test/test072.log
-rw-r--r--          4625 2016-06-30 13:24 test/test072.pure
-rw-r--r--          1708 2016-06-30 13:24 test/test073.log
-rw-r--r--           327 2016-06-30 13:24 test/test073.pure
-rw-r--r--            75 2016-06-30 13:24 test/test074.log
-rw-r--r--           138 2016-06-30 13:24 test/test074.pure
-rw-r--r--           672 2016-06-30 13:24 test/test075.log
-rw-r--r--           211 2016-06-30 13:24 test/test075.pure
-rw-r--r--          1354 2016-06-30 13:24 test/test076.log
-rw-r--r--           143 2016-06-30 13:24 test/test076.pure
-rw-r--r--           399 2016-06-30 13:24 test/test077.log
-rw-r--r--           227 2016-06-30 13:24 test/test077.pure
-rw-r--r--           953 2016-06-30 13:24 test/test078.log
-rw-r--r--           705 2016-06-30 13:24 test/test078.pure
-rw-r--r--         12702 2016-06-30 13:24 test/test079.log
-rw-r--r--          1169 2016-06-30 13:24 test/test079.pure
-rw-r--r--           825 2016-06-30 13:24 test/test080.log
-rw-r--r--           252 2016-06-30 13:24 test/test080.pure
-rw-r--r--           546 2016-06-30 13:24 test/test081.log
-rw-r--r--           172 2016-06-30 13:24 test/test081.pure
-rw-r--r--            35 2016-06-30 13:24 test/test082.log
-rw-r--r--           287 2016-06-30 13:24 test/test082.pure
-rw-r--r--          1004 2016-06-30 13:24 test/test083.log
-rw-r--r--           226 2016-06-30 13:24 test/test083.pure
-rw-r--r--           233 2016-06-30 13:24 test/test084.log
-rw-r--r--           160 2016-06-30 13:24 test/test084.pure
-rw-r--r--           424 2016-06-30 13:24 test/test085.log
-rw-r--r--           428 2016-06-30 13:24 test/test085.pure
-rw-r--r--           725 2016-06-30 13:24 test/test086.log
-rw-r--r--           237 2016-06-30 13:24 test/test086.pure
-rw-r--r--           426 2016-06-30 13:24 test/test087.log
-rw-r--r--           217 2016-06-30 13:24 test/test087.pure
-rw-r--r--           911 2016-06-30 13:24 test/test088.log
-rw-r--r--           153 2016-06-30 13:24 test/test088.pure
-rw-r--r--          1208 2016-06-30 13:24 test/test089.log
-rw-r--r--          1489 2016-06-30 13:24 test/test089.pure
-rw-r--r--           446 2016-06-30 13:24 test/test090.log
-rw-r--r--           139 2016-06-30 13:24 test/test090.pure
-rw-r--r--           212 2016-06-30 13:24 test/test091.log
-rw-r--r--           180 2016-06-30 13:24 test/test091.pure
-rw-r--r--           790 2017-02-24 00:34 test/test092.log
-rw-r--r--           498 2017-02-24 00:34 test/test092.pure
-rw-r--r--          2165 2017-02-24 00:36 test/test093.log
-rw-r--r--          2813 2017-02-24 00:36 test/test093.pure
-rw-r--r--           234 2017-02-24 14:24 test/test094.log
-rw-r--r--            70 2017-02-24 13:26 test/test094.pure
-rw-r--r--          1437 2017-03-02 23:31 test/test095.log
-rw-r--r--           570 2017-03-02 23:22 test/test095.pure
-rw-r--r--         10661 2016-06-30 13:24 texmacs/plugins/pure/progs/texmacs.pure
-rw-r--r--          1713 2016-06-30 13:24 examples/trace.pure
-rw-r--r--          2009 2016-06-30 13:24 examples/transitive.pure
-rw-r--r--          2937 2016-06-30 13:24 examples/unify.pure
-rw-r--r--          5191 2016-06-30 13:24 examples/units.pure
-rw-r--r--         38774 2017-02-24 00:36 util.cc
-rw-r--r--          4631 2016-06-30 13:24 util.hh
-rw-r--r--         54596 2016-06-30 13:24 w3centities.c
-rw-r--r--           786 2017-02-24 00:34 debian/watch

   MD5 (pure-0.66.tar.gz): 7ebecf7f90d963a0f6ae3c66694656a6
  SHA1 (pure-0.66.tar.gz): c52b53100c7703ecec723cbaf706f067f8b7132d
SHA256 (pure-0.66.tar.gz): 42df6832476e8bee3a7ca179671284c1edd7bc82b71062fa0de62fd2117ee676

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)