| Parent directory/ | - | - |
| gwd.in | 794 B | 2025-Nov-24 10:29 |
| install.sh | 2.7 KiB | 2025-Nov-24 10:29 |
| patch-Makefile | 2.3 KiB | 2025-Nov-24 10:29 |
| patch-configure | 123 B | 2025-Nov-24 10:29 |
| patch-dag2html__Makefile | 364 B | 2025-Nov-24 10:29 |
| patch-ged2gwb_Makefile | 870 B | 2025-Nov-24 10:29 |
| patch-ged2gwb_ged2gwb.ml | 430 B | 2025-Nov-24 10:29 |
| patch-ged2gwb_ged2gwb2.ml | 433 B | 2025-Nov-24 10:29 |
| patch-setup_Makefile | 419 B | 2025-Nov-24 10:29 |
| patch-src__Makefile | 1.3 KiB | 2025-Nov-24 10:29 |
| patch-src_dag.ml | 1.1 KiB | 2025-Nov-24 10:29 |
| patch-src_date.ml | 681 B | 2025-Nov-24 10:29 |
| patch-src_db2disk.ml | 881 B | 2025-Nov-24 10:29 |
| patch-src_gwd.ml | 897 B | 2025-Nov-24 10:29 |
| patch-src_mutil.ml | 580 B | 2025-Nov-24 10:29 |
| patch-src_relation.ml | 537 B | 2025-Nov-24 10:29 |
| patch-tools_camlp5__comm.sh | 303 B | 2025-Nov-24 10:29 |
| patch-wserver_Makefile | 457 B | 2025-Nov-24 10:29 |
| patch-wserver_wserver.ml | 1.4 KiB | 2025-Nov-24 10:29 |
| pkg-message.in | 1.2 KiB | 2025-Nov-24 10:29 |