I think the changes proposed by DAW, with Mario's remarks, would be a nice addition, adhering to standard practices and POSIX.
As for the call with no arguments, maybe the command $ mmj2 could simply prompt something like Name of the database to open: As for FL's remark: being able to select the database from a menu would be nice indeed, but this would require a change in the mmj2 program, whereas DAW's proposal is to simply add a wrapper without changing mmj2 itself. Benoît -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/ab6e03d5-78fa-4227-86b6-a4d73e0007b4%40googlegroups.com.
