1
0
mirror of synced 2026-01-13 15:37:38 +00:00
rmkaplan b796727165
Rmk37 prc menu shows superset relations (#764)
* PSEUDOHOSTS: GETHOSTINFO of pseudohost goes to true host

* CMLPATHNAME:  Remove unused PARSE-NAMESTRING1

Avoid stumbling on it in future maintenance.  Also, remake filemap for functions and defmacros

* SAMEDIR, COMPAREDIRECTORIES: FILENAMEFIELD → FILENAMEFIELD.STRING

in a few places.  No need to hash atoms

* LLCHAR:  expose $$READONLY in inpname I.s.opr

* GITFNS: prc menu shows superset relations

* GITFNS:  Sort the prc menu

* EDITINTERFACE:  Better edit-date management

* PRETTYFILEINDEX: Destination can be any imagestream, not just display

* TEDIT-PF-SEE:  Use SEE instead of COPYTO IMAGESTREAM

to get better formatting of PRETTYFILEINDEX
2022-05-11 18:40:13 -07:00
..
2020-11-20 12:30:56 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
DES
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-03-15 13:04:02 -07:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2022-01-15 20:26:40 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2020-11-15 19:22:14 -08:00
2021-04-28 15:36:03 -07:00
2021-02-05 22:25:17 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
SPY
2022-01-27 15:37:47 -08:00
2022-01-27 15:37:47 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2022-01-27 15:37:47 -08:00
2022-01-27 15:37:47 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2022-01-27 15:37:47 -08:00
2022-01-27 15:37:47 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-10-01 09:03:00 -07:00
2021-10-01 09:03:00 -07:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00
2021-03-10 13:59:38 -08:00
2020-11-15 19:22:14 -08:00
2020-11-15 19:22:14 -08:00