44 Commits (master)
 

Author SHA1 Message Date
Achim D. Brucker f56e2a7b9e Use POSIX-compliant method to find isabelle command. 3 months ago
Achim D. Brucker 642a1924a2 Use regular quotes for setting PROMPT(s). 4 months ago
Achim D. Brucker 919f132cdb Added function wrapper. 4 months ago
Achim D. Brucker 1a42b195bb Moved color definitions at begin of file. 4 months ago
Achim D. Brucker 21c6a4f439 Fixed markdown. 3 years ago
Achim D. Brucker 3d63e7a2ef Fixed markdown. 4 years ago
Achim D. Brucker 0ac93abcb1 Added information about location of master/upstream repository. 4 years ago
Achim D. Brucker 95ded0a331 Added SPDIX identifier. 4 years ago
Achim D. Brucker 8d16d4c1d7 Added SPDIX license identifier. 4 years ago
Achim D. Brucker a035b059a7 Add remote branch information to git prompt. 4 years ago
Achim D. Brucker d09875b99c Updated colors. 4 years ago
Achim D. Brucker 42c91edf37 Use LHWHITE and LHBLACK instead of white and black. 4 years ago
Achim D. Brucker 7540ef1fe4 Renaming: LHLIGHTORANGE -> LHORANGEMEDIUM. 4 years ago
Achim D. Brucker 12ea913eb6 Added description of Isabelle plugin. 4 years ago
Achim D. Brucker af91d6faa3 Include Isabelle plugin in fpath. 4 years ago
Achim D. Brucker 47a0efea1c Initial commit. 4 years ago
Achim D. Brucker 3fc0a869c3 Bug fix: support for absolute path names in traversing ROOTS info. 4 years ago
Achim D. Brucker 3eb07b516b Added support for ROOTS file in isabelle-list-sessions(). 4 years ago
Achim D. Brucker 149bb0bc1d Print sessions from ROOT file. 4 years ago
Achim D. Brucker bc7985c580 Isabelle module. Initial version providing function to strip Isabelle/ML/Pascal-style comments. 4 years ago
Achim D. Brucker 23b8224415 Added basic description and license information. 4 years ago
Achim D. Brucker 7d267f74ac Clarified license. 4 years ago
Achim D. Brucker bca5ee26cd Fixed typo. 4 years ago
Achim D. Brucker e4b3148e8d Improved color definition for terminals with 256 colors. 4 years ago
Achim D. Brucker 2d288281ea Added prompt for bazar. 4 years ago
Achim D. Brucker d67abc3685 Added git_prompt. 4 years ago
Achim D. Brucker 654bd88e41 Show Isabelle version at an earlier position in the prompt. 4 years ago
Achim D. Brucker e3e6ad3848 Improved separator for segments of same color (reset color after separator). 4 years ago
Achim D. Brucker c29d74ca50 Introduced separator for segments of same color. 4 years ago
Achim D. Brucker 9a370d8b6d Fixed color setup. 4 years ago
Achim D. Brucker e9298f0e62 Fixed LHORANGE. 4 years ago
Achim D. Brucker abb5fa42fc Fixed and activated prompt_isabelle_env. 4 years ago
Achim D. Brucker 385668f407 Removed double definition of prompt_dir. 4 years ago
Achim D. Brucker 1e8ecfbb67 Prompt: working directory. 4 years ago
Achim D. Brucker 41823a0bef Added logo to prompt and initial color setup. 4 years ago
Achim D. Brucker 92f022e970 Added skeleton for prompt setup (and added keybinding for inactive prompt). 4 years ago
Achim D. Brucker 96b358d303 Prompt: Isabelle version. 4 years ago
Achim D. Brucker 6ed43087ee Prompt: LogicalHacking Logo. 4 years ago
Achim D. Brucker 38840e689e Fixed PL_LARROW name. 4 years ago
Achim D. Brucker aa36d147eb Added basic prompt rendering. 4 years ago
Achim D. Brucker 8b9f3dc24c Defined PowerLine symbols. 4 years ago
Achim D. Brucker 226b81abb8 Added promptpwd(). 4 years ago
Achim D. Brucker e73b0eb486 Initial commit. 4 years ago
Achim D. Brucker 53ec262293 Initial commit. 4 years ago