On 26/09/2011, at 6:43 PM, Florian Haftmann wrote: > An aside: have there ever been thoughts about adding subcommand > completion for isabelle in bash? At first sight this looks as a nice > thing to have, but maybe there have been deeper consideration *not* to > attempt this.
I've been using the attached for a few years. Just load as part of your ~/.bashrc or similar. It does 'isabelle make' target completion as well (code based on make completion from bash back then). It probably needs a thorough code review before it can be put anywhere official. I've mostly used it just for myself, even though I think I sent it to isabelle-users at some point. Cheers, Gerwin
isabelle-completions
Description: Binary data
PGP.sig
Description: This is a digitally signed message part
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
