Fwd: 1004 bravo files

2 views

Skip to first unread message

Larry Masinter

unread,

Jul 1, 2026, 4:10:44 PMJul 1

to Interlisp core

From the CHM PARC archives (access via Interlisp shared Google drive CHM-PARC2 )

I ran 'find . -iname "*.bravo > ~/bravo-files.txt

bravo-files.txt

Larry Masinter

unread,

Jul 1, 2026, 6:29:57 PM (14 days ago) Jul 1

to Nick Briggs, masinter, Interlisp core

i did a sort/merge of finding *.bravo and *user.cm* to generate a combined list

https://LarryMasinter.net https://interlisp.org

On Wed, Jul 1, 2026 at 1:22 PM Nick Briggs <nicholas...@gmail.com> wrote:

Is it worth looking to see if there are nearby user.cm (or whatever it was called) files with bravo settings in them for those files? I suspect not everyone used exactly the same settings.

--
You received this message because you are subscribed to the Google Groups "Medley Interlisp core" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lispcore+u...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/lispcore/CAKq15vfku-LAeOfzU4j3BdPbj82Uy_LPeSnEu6_SAADpy4QkzQ%40mail.gmail.com.
<bravo-files.txt>