Highlight default prompt in shell sessions.

2019-08-02 11:12:38 +01:00 · 2019-08-02 11:12:38 +01:00 · 390defe5e8
parent 13a6384cfe
commit 390defe5e8
1 changed files with 3 additions and 1 deletions
--- a/examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty
@ -332,7 +332,9 @@
   % Defining 4-keywords
   ,keywordstyle=[3]{\color{black!60}\bfseries}%
   % Defining 5-keywords
-   ,keywordstyle=[4]{\color{Blue!70}\bfseries}%
+   ,keywordstyle=[4]{\color{Blue!80}\bfseries}%
+   ,alsoletter={*,-,:,~,/}
+   ,morekeywords=[4]{achim@logicalhacking:~/Isabelle_DOF$}%
   % Defining 6-keywords
   ,keywordstyle=[5]{\itshape}%
  %