![[TXT]](../../../../.misc/text.gif){kind=small}
497 1980-12-17 Makefile make file![[TXT]](../../../../.misc/c.gif){kind=small}
419 1980-12-17 copyreturn.c C source 2262 1980-12-17 equelpr.c C source 7308 1980-12-17 findsimps.c C source 4725 1980-12-17 getqry.c C source 11850 1980-12-17 interp.c C source 3892 1980-12-17 interp1.c C source 7107 1980-12-17 key.c C source 1617 1980-12-17 main.c C source 2026 1980-12-17 ovqp.c C source 3816 1980-12-17 ovqp.h C header 1836 1980-12-17 prsym.c C source 2305 1980-12-17 rdsym.c C source 5883 1980-12-17 scan.c C source 665 1980-12-17 startovqp.c C source 5468 1980-12-17 strategy.c C source 486 1980-12-17 strategy.h C header 6196 1980-12-17 string.c C source 4310 1980-12-17 support.c C source 3266 1980-12-17 typecheck.c C source![[TXT]](../../../../.misc/script.gif){kind=small}
127 1980-12-17 update.sh shell script
