Files
-rwxr-xr-x | 6132372 | root | root | /usr/bin/cduce |
-rwxr-xr-x | 815 | root | root | /usr/bin/cduce_mktop |
-rwxr-xr-x | 2353336 | root | root | /usr/bin/dtd2cduce |
drwxr-xr-x | 4096 | root | root | /usr/lib/ocaml/cduce |
-rw-r--r-- | 272 | root | root | /usr/lib/ocaml/cduce/META |
-rw-r--r-- | 3855985 | root | root | /usr/lib/ocaml/cduce/cduce_lib.cma |
-rw-r--r-- | 266416 | root | root | /usr/lib/ocaml/cduce/cduce_lib.cmi |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/cduce |
-rw-r--r-- | 355 | root | root | /usr/share/doc/cduce/AUTHORS |
-rw-r--r-- | 10609 | root | root | /usr/share/doc/cduce/CHANGES |
-rw-r--r-- | 5539 | root | root | /usr/share/doc/cduce/INSTALL |
-rw-r--r-- | 3750 | root | root | /usr/share/doc/cduce/INSTALL.WIN32 |
-rw-r--r-- | 1144 | root | root | /usr/share/doc/cduce/LICENSE |
-rw-r--r-- | 4123 | root | root | /usr/share/doc/cduce/README |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/cduce/img |
-rw-r--r-- | 1438 | root | root | /usr/share/doc/cduce/index.html |
-rw-r--r-- | 7217 | root | root | /usr/share/doc/cduce/manual.html |
-rw-r--r-- | 29597 | root | root | /usr/share/doc/cduce/manual_expressions.html |
-rw-r--r-- | 17792 | root | root | /usr/share/doc/cduce/manual_interfacewithocaml.html |
-rw-r--r-- | 11648 | root | root | /usr/share/doc/cduce/manual_interpreter.html |
-rw-r--r-- | 23902 | root | root | /usr/share/doc/cduce/manual_schema.html |
-rw-r--r-- | 7319 | root | root | /usr/share/doc/cduce/manual_schema_samples.html |
-rw-r--r-- | 25087 | root | root | /usr/share/doc/cduce/manual_types_patterns.html |
-rw-r--r-- | 14202 | root | root | /usr/share/doc/cduce/memento.html |
-rw-r--r-- | 12754 | root | root | /usr/share/doc/cduce/namespaces.html |
-rw-r--r-- | 10149 | root | root | /usr/share/doc/cduce/sitemap.html |
-rw-r--r-- | 5000 | root | root | /usr/share/doc/cduce/tutorial.html |
-rw-r--r-- | 9730 | root | root | /usr/share/doc/cduce/tutorial_errors.html |
-rw-r--r-- | 5045 | root | root | /usr/share/doc/cduce/tutorial_exercises.html |
-rw-r--r-- | 12314 | root | root | /usr/share/doc/cduce/tutorial_first_functions.html |
-rw-r--r-- | 17445 | root | root | /usr/share/doc/cduce/tutorial_getting_started.html |
-rw-r--r-- | 2780 | root | root | /usr/share/doc/cduce/tutorial_higherorder.html |
-rw-r--r-- | 10318 | root | root | /usr/share/doc/cduce/tutorial_overloading.html |
-rw-r--r-- | 17753 | root | root | /usr/share/doc/cduce/tutorial_patterns.html |
-rw-r--r-- | 28439 | root | root | /usr/share/doc/cduce/tutorial_queries.html |
-rw-r--r-- | 5194 | root | root | /usr/share/doc/cduce/tutorial_references.html |
-rw-r--r-- | 317 | root | root | /usr/share/doc/cduce/img/left.gif |
-rw-r--r-- | 317 | root | root | /usr/share/doc/cduce/img/right.gif |
-rw-r--r-- | 605 | root | root | /usr/share/man/man1/cduce.1.lzma |
-rw-r--r-- | 321 | root | root | /usr/share/man/man1/cduce_mktop.1.lzma |
-rw-r--r-- | 426 | root | root | /usr/share/man/man1/dtd2cduce.1.lzma |