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 |