Searched refs:first_line (Results 1 - 11 of 11) sorted by relevance
| /seL4-l4v-10.1.1/l4v/misc/git-commit-emails/ |
| H A D | commit-email.py | 96 def first_line(s, max_len=256): function
166 subject = repo_name + subject_branch + ": " + first_line(commit.message)
214 first_line(c.message, max_len=78),
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/ |
| H A D | document_view.scala | 111 first_line: Int, last_line: Int, physical_lines: Array[Int],
125 first_line: Int, last_line: Int, physical_lines: Array[Int],
|
| H A D | rich_text_area.scala | 84 first_line: Int, last_line: Int, physical_lines: Array[Int],
101 first_line: Int, last_line: Int, physical_lines: Array[Int],
292 first_line: Int, last_line: Int, physical_lines: Array[Int],
465 first_line: Int, last_line: Int, physical_lines: Array[Int],
491 val screen_line = first_line + i
526 first_line: Int, last_line: Int, physical_lines: Array[Int],
|
| H A D | isabelle_sidekick.scala | 130 new Isabelle_Sidekick.Keyword_Asset(name, Library.first_line(text), range))
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/ |
| H A D | document_view.scala | 111 first_line: Int, last_line: Int, physical_lines: Array[Int],
125 first_line: Int, last_line: Int, physical_lines: Array[Int],
|
| H A D | rich_text_area.scala | 84 first_line: Int, last_line: Int, physical_lines: Array[Int],
101 first_line: Int, last_line: Int, physical_lines: Array[Int],
292 first_line: Int, last_line: Int, physical_lines: Array[Int],
465 first_line: Int, last_line: Int, physical_lines: Array[Int],
491 val screen_line = first_line + i
526 first_line: Int, last_line: Int, physical_lines: Array[Int],
|
| H A D | isabelle_sidekick.scala | 130 new Isabelle_Sidekick.Keyword_Asset(name, Library.first_line(text), range))
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/Admin/ |
| H A D | isabelle_cronjob.scala | 411 val first_line = split_lines(Exn.message(exn)).headOption getOrElse "exception"
412 Some(first_line)
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/ |
| H A D | isabelle_cronjob.scala | 411 val first_line = split_lines(Exn.message(exn)).headOption getOrElse "exception"
412 Some(first_line)
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/ |
| H A D | library.scala | 111 def first_line(source: CharSequence): String =
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/ |
| H A D | library.scala | 111 def first_line(source: CharSequence): String =
|
Completed in 65 milliseconds