Achim D. Brucker
|
f56e2a7b9e
|
Use POSIX-compliant method to find isabelle command.
|
2021-08-20 22:35:24 +01:00 |
Achim D. Brucker
|
642a1924a2
|
Use regular quotes for setting PROMPT(s).
|
2021-07-28 22:40:41 +01:00 |
Achim D. Brucker
|
919f132cdb
|
Added function wrapper.
|
2021-07-28 22:35:56 +01:00 |
Achim D. Brucker
|
1a42b195bb
|
Moved color definitions at begin of file.
|
2021-07-28 22:27:52 +01:00 |
Achim D. Brucker
|
21c6a4f439
|
Fixed markdown.
|
2018-07-30 14:10:08 +01:00 |
Achim D. Brucker
|
3d63e7a2ef
|
Fixed markdown.
|
2018-05-02 19:13:56 +01:00 |
Achim D. Brucker
|
0ac93abcb1
|
Added information about location of master/upstream repository.
|
2018-04-12 19:29:53 +01:00 |
Achim D. Brucker
|
95ded0a331
|
Added SPDIX identifier.
|
2018-03-26 07:17:34 +01:00 |
Achim D. Brucker
|
8d16d4c1d7
|
Added SPDIX license identifier.
|
2017-12-04 22:50:11 +00:00 |
Achim D. Brucker
|
a035b059a7
|
Add remote branch information to git prompt.
|
2017-07-25 20:56:19 +01:00 |
Achim D. Brucker
|
d09875b99c
|
Updated colors.
|
2017-07-22 22:08:23 +01:00 |
Achim D. Brucker
|
42c91edf37
|
Use LHWHITE and LHBLACK instead of white and black.
|
2017-07-22 21:39:36 +01:00 |
Achim D. Brucker
|
7540ef1fe4
|
Renaming: LHLIGHTORANGE -> LHORANGEMEDIUM.
|
2017-07-21 09:33:27 +01:00 |
Achim D. Brucker
|
12ea913eb6
|
Added description of Isabelle plugin.
|
2017-07-18 03:56:22 +01:00 |
Achim D. Brucker
|
af91d6faa3
|
Include Isabelle plugin in fpath.
|
2017-07-17 22:12:59 +01:00 |
Achim D. Brucker
|
47a0efea1c
|
Initial commit.
|
2017-07-16 12:41:51 +01:00 |
Achim D. Brucker
|
3fc0a869c3
|
Bug fix: support for absolute path names in traversing ROOTS info.
|
2017-07-16 12:02:28 +01:00 |
Achim D. Brucker
|
3eb07b516b
|
Added support for ROOTS file in isabelle-list-sessions().
|
2017-07-16 11:53:24 +01:00 |
Achim D. Brucker
|
149bb0bc1d
|
Print sessions from ROOT file.
|
2017-07-16 11:40:32 +01:00 |
Achim D. Brucker
|
bc7985c580
|
Isabelle module. Initial version providing function to strip Isabelle/ML/Pascal-style comments.
|
2017-07-16 11:39:59 +01:00 |
Achim D. Brucker
|
23b8224415
|
Added basic description and license information.
|
2017-07-15 16:36:12 +01:00 |
Achim D. Brucker
|
7d267f74ac
|
Clarified license.
|
2017-07-15 16:35:07 +01:00 |
Achim D. Brucker
|
bca5ee26cd
|
Fixed typo.
|
2017-07-15 16:33:50 +01:00 |
Achim D. Brucker
|
e4b3148e8d
|
Improved color definition for terminals with 256 colors.
|
2017-07-14 06:12:38 +01:00 |
Achim D. Brucker
|
2d288281ea
|
Added prompt for bazar.
|
2017-07-13 07:29:32 +01:00 |
Achim D. Brucker
|
d67abc3685
|
Added git_prompt.
|
2017-07-12 07:54:43 +01:00 |
Achim D. Brucker
|
654bd88e41
|
Show Isabelle version at an earlier position in the prompt.
|
2017-07-12 07:38:19 +01:00 |
Achim D. Brucker
|
e3e6ad3848
|
Improved separator for segments of same color (reset color after separator).
|
2017-07-11 07:32:25 +01:00 |
Achim D. Brucker
|
c29d74ca50
|
Introduced separator for segments of same color.
|
2017-07-11 07:14:32 +01:00 |
Achim D. Brucker
|
9a370d8b6d
|
Fixed color setup.
|
2017-07-10 05:14:19 +01:00 |
Achim D. Brucker
|
e9298f0e62
|
Fixed LHORANGE.
|
2017-07-10 05:03:32 +01:00 |
Achim D. Brucker
|
abb5fa42fc
|
Fixed and activated prompt_isabelle_env.
|
2017-07-10 05:02:55 +01:00 |
Achim D. Brucker
|
385668f407
|
Removed double definition of prompt_dir.
|
2017-07-10 04:21:45 +01:00 |
Achim D. Brucker
|
1e8ecfbb67
|
Prompt: working directory.
|
2017-07-10 04:15:48 +01:00 |
Achim D. Brucker
|
41823a0bef
|
Added logo to prompt and initial color setup.
|
2017-07-09 22:18:17 +01:00 |
Achim D. Brucker
|
92f022e970
|
Added skeleton for prompt setup (and added keybinding for inactive prompt).
|
2017-07-08 23:20:15 +01:00 |
Achim D. Brucker
|
96b358d303
|
Prompt: Isabelle version.
|
2017-07-06 23:07:19 +01:00 |
Achim D. Brucker
|
6ed43087ee
|
Prompt: LogicalHacking Logo.
|
2017-07-05 21:23:29 +01:00 |
Achim D. Brucker
|
38840e689e
|
Fixed PL_LARROW name.
|
2017-07-04 21:48:49 +01:00 |
Achim D. Brucker
|
aa36d147eb
|
Added basic prompt rendering.
|
2017-07-03 22:30:13 +01:00 |
Achim D. Brucker
|
8b9f3dc24c
|
Defined PowerLine symbols.
|
2017-07-03 22:19:29 +01:00 |
Achim D. Brucker
|
226b81abb8
|
Added promptpwd().
|
2017-07-02 23:06:36 +01:00 |
Achim D. Brucker
|
e73b0eb486
|
Initial commit.
|
2017-07-02 22:52:49 +01:00 |
Achim D. Brucker
|
53ec262293
|
Initial commit.
|
2017-07-01 06:28:38 +01:00 |