Sophie
Search
Distribution
Explorer
Source & Patches
Chat
Help
About
distrib
>
Mandriva
>
8.2
>
i586
>
by-pkgid
>
8a80864b07c5f16e9ba9be320c149cfa
>
files
teyjus-1.0_b31-15mdk.i586.rpm
Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse
Files
-rwxr-xr-x
408472
root
root
/usr/bin/teyjus
-rwxr-xr-x
231224
root
root
/usr/bin/tjcc
-rwxr-xr-x
43736
root
root
/usr/bin/tjdis
-rwxr-xr-x
309240
root
root
/usr/bin/tjsim
drwxr-xr-x
4096
root
root
/usr/share/doc/teyjus-1.0_b31
drwxr-xr-x
4096
root
root
/usr/share/doc/teyjus-1.0_b31/examples
drwxr-xr-x
4096
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook
drwxr-xr-x
4096
root
root
/usr/share/doc/teyjus-1.0_b31/examples/misc
drwxr-xr-x
4096
root
root
/usr/share/doc/teyjus-1.0_b31/examples/ndprover
drwxr-xr-x
4096
root
root
/usr/share/doc/teyjus-1.0_b31/examples/utility
drwxr-xr-x
4096
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic
drwxr-xr-x
4096
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs
-rw-r--r--
2852
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/README
-rw-r--r--
821
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/hc_interp.mod
-rw-r--r--
205
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/hc_interp.sig
-rw-r--r--
496
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/hc_syntax.mod
-rw-r--r--
492
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/hc_syntax.sig
-rw-r--r--
7334
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/hcinterp_examples.dis
-rw-r--r--
503
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/hcinterp_examples.mod
-rw-r--r--
180
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/hcinterp_examples.sig
-rw-r--r--
797
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/hcsyntax_examples.mod
-rw-r--r--
300
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/hcsyntax_examples.sig
-rw-r--r--
578
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/logic_basic.sig
-rw-r--r--
193
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/logic_types.sig
-rw-r--r--
368
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/logic_vocab.sig
-rw-r--r--
2377
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/pnf.mod
-rw-r--r--
371
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/pnf.sig
-rw-r--r--
447
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/pnf_examples.mod
-rw-r--r--
232
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/pnf_examples.sig
-rw-r--r--
726
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/refl_syntax.mod
-rw-r--r--
482
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/refl_syntax.sig
-rw-r--r--
3392
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/script1
-rw-r--r--
4270
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/script2
-rw-r--r--
4675
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/logic/script3
-rw-r--r--
3580
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/README
-rw-r--r--
218
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/curry_test.mod
-rw-r--r--
150
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/curry_test.sig
-rw-r--r--
575
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/curry_transform.mod
-rw-r--r--
236
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/curry_transform.sig
-rw-r--r--
1595
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/eval.mod
-rw-r--r--
72
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/eval.sig
-rw-r--r--
289
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/eval_basic.mod
-rw-r--r--
159
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/eval_basic.sig
-rw-r--r--
677
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/eval_examples.mod
-rw-r--r--
230
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/eval_examples.sig
-rw-r--r--
192
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/fp_types.sig
-rw-r--r--
1073
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/fp_vocab.sig
-rw-r--r--
583
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/general_tr.mod
-rw-r--r--
199
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/general_tr.sig
-rw-r--r--
878
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/refl_syntax.mod
-rw-r--r--
214
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/refl_syntax.sig
-rw-r--r--
3369
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/script1
-rw-r--r--
1696
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/script2
-rw-r--r--
1570
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/script3
-rw-r--r--
1676
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/script4
-rw-r--r--
943
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/terms.mod
-rw-r--r--
182
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/terms.sig
-rw-r--r--
351
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/tr1_test.mod
-rw-r--r--
175
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/tr1_test.sig
-rw-r--r--
299
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/tr2_test.mod
-rw-r--r--
254
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/tr2_test.sig
-rw-r--r--
497
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/tr_recognizer.mod
-rw-r--r--
178
root
root
/usr/share/doc/teyjus-1.0_b31/examples/handbook/progs/tr_recognizer.sig
-rw-r--r--
95
root
root
/usr/share/doc/teyjus-1.0_b31/examples/misc/importm11.mod
-rw-r--r--
56
root
root
/usr/share/doc/teyjus-1.0_b31/examples/misc/importm11.sig
-rw-r--r--
68
root
root
/usr/share/doc/teyjus-1.0_b31/examples/misc/importm12.mod
-rw-r--r--
36
root
root
/usr/share/doc/teyjus-1.0_b31/examples/misc/importm12.sig
-rw-r--r--
87
root
root
/usr/share/doc/teyjus-1.0_b31/examples/misc/importm21.mod
-rw-r--r--
37
root
root
/usr/share/doc/teyjus-1.0_b31/examples/misc/importm21.sig
-rw-r--r--
105
root
root
/usr/share/doc/teyjus-1.0_b31/examples/misc/importm22.mod
-rw-r--r--
47
root
root
/usr/share/doc/teyjus-1.0_b31/examples/misc/importm22.sig
-rw-r--r--
61
root
root
/usr/share/doc/teyjus-1.0_b31/examples/misc/importm3.mod
-rw-r--r--
45
root
root
/usr/share/doc/teyjus-1.0_b31/examples/misc/importm3.sig
-rw-r--r--
70
root
root
/usr/share/doc/teyjus-1.0_b31/examples/misc/importm41.mod
-rw-r--r--
47
root
root
/usr/share/doc/teyjus-1.0_b31/examples/misc/importm41.sig
-rw-r--r--
145
root
root
/usr/share/doc/teyjus-1.0_b31/examples/misc/importm42.mod
-rw-r--r--
103
root
root
/usr/share/doc/teyjus-1.0_b31/examples/misc/importm42.sig
-rw-r--r--
3514
root
root
/usr/share/doc/teyjus-1.0_b31/examples/ndprover/README
-rw-r--r--
585
root
root
/usr/share/doc/teyjus-1.0_b31/examples/ndprover/formulas.mod
-rw-r--r--
190
root
root
/usr/share/doc/teyjus-1.0_b31/examples/ndprover/formulas.sig
-rw-r--r--
460
root
root
/usr/share/doc/teyjus-1.0_b31/examples/ndprover/goalred.mod
-rw-r--r--
192
root
root
/usr/share/doc/teyjus-1.0_b31/examples/ndprover/goalred.sig
-rw-r--r--
310
root
root
/usr/share/doc/teyjus-1.0_b31/examples/ndprover/goaltypes.sig
-rw-r--r--
1477
root
root
/usr/share/doc/teyjus-1.0_b31/examples/ndprover/inter.mod
-rw-r--r--
442
root
root
/usr/share/doc/teyjus-1.0_b31/examples/ndprover/inter.sig
-rw-r--r--
1391
root
root
/usr/share/doc/teyjus-1.0_b31/examples/ndprover/listmanip.mod
-rw-r--r--
493
root
root
/usr/share/doc/teyjus-1.0_b31/examples/ndprover/listmanip.sig
-rw-r--r--
467
root
root
/usr/share/doc/teyjus-1.0_b31/examples/ndprover/logic.sig
-rw-r--r--
1026
root
root
/usr/share/doc/teyjus-1.0_b31/examples/ndprover/ndproofs.sig
-rw-r--r--
4297
root
root
/usr/share/doc/teyjus-1.0_b31/examples/ndprover/ndtac.mod
-rw-r--r--
1211
root
root
/usr/share/doc/teyjus-1.0_b31/examples/ndprover/ndtac.sig
-rw-r--r--
429
root
root
/usr/share/doc/teyjus-1.0_b31/examples/ndprover/nonlogical.sig
-rw-r--r--
15334
root
root
/usr/share/doc/teyjus-1.0_b31/examples/ndprover/printfile
-rw-r--r--
12475
root
root
/usr/share/doc/teyjus-1.0_b31/examples/ndprover/script
-rw-r--r--
1765
root
root
/usr/share/doc/teyjus-1.0_b31/examples/ndprover/tacticals.mod
-rw-r--r--
715
root
root
/usr/share/doc/teyjus-1.0_b31/examples/ndprover/tacticals.sig
-rw-r--r--
191
root
root
/usr/share/doc/teyjus-1.0_b31/examples/utility/assoc.mod
-rw-r--r--
130
root
root
/usr/share/doc/teyjus-1.0_b31/examples/utility/assoc.sig
-rw-r--r--
328
root
root
/usr/share/doc/teyjus-1.0_b31/examples/utility/assoclists.mod
-rw-r--r--
139
root
root
/usr/share/doc/teyjus-1.0_b31/examples/utility/assoclists.sig
-rw-r--r--
951
root
root
/usr/share/doc/teyjus-1.0_b31/examples/utility/funs.mod
-rw-r--r--
187
root
root
/usr/share/doc/teyjus-1.0_b31/examples/utility/funs.sig
-rw-r--r--
987
root
root
/usr/share/doc/teyjus-1.0_b31/examples/utility/lists.mod
-rw-r--r--
467
root
root
/usr/share/doc/teyjus-1.0_b31/examples/utility/lists.sig
-rw-r--r--
346
root
root
/usr/share/doc/teyjus-1.0_b31/examples/utility/lists2.mod
-rw-r--r--
171
root
root
/usr/share/doc/teyjus-1.0_b31/examples/utility/lists2.sig
-rw-r--r--
609
root
root
/usr/share/doc/teyjus-1.0_b31/examples/utility/maps.mod
-rw-r--r--
479
root
root
/usr/share/doc/teyjus-1.0_b31/examples/utility/maps.sig
-rw-r--r--
227
root
root
/usr/share/doc/teyjus-1.0_b31/examples/utility/reverse.mod
-rw-r--r--
56
root
root
/usr/share/doc/teyjus-1.0_b31/examples/utility/reverse.sig
-rw-r--r--
24475
root
root
/usr/share/info/teyjus.info.bz2
-rw-r--r--
17307
root
root
/usr/share/info/teyjus_impl.info.bz2