Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: 8e3bc4ed84
Fetching contributors…

Cannot retrieve contributors at this time

12 lines (8 sloc) 0.286 kb
(*s: ui_navigation.mli *)
val go_back:
Model2.drawing ref -> unit
val go_dirs_or_file:
?current_entity:Database_code.entity option ->
?current_grep_query:(Common.filename, int) Hashtbl.t option ->
Model2.drawing ref -> Common.filename list -> unit
(*e: ui_navigation.mli *)
Jump to Line
Something went wrong with that request. Please try again.