_info.html.haml revision d327eb79653cf7820fe583473ab35816d44cd757
e59faf65ce864fe95dc00f5d52b8323cdbd0608aTimo Sirainen= render partial: '/ontologies/menu', locals: {resource: resource}
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen%h1#ontology_title
9a583c7a827f7a4d89ee43774f2d51ea6a214543Timo Sirainen = ontology_link_to resource
72cbf33ae81fde08384d30c779ff540752d9256cTimo Sirainen %span.label.label-warning= t 'ontology.deleted.label'
5e40ed3f0a2c2acddc9b8eab59670c7a850114c5Timo Sirainen This #{Settings.OMS} is a child of
6cd02a9525acb9897a65b05bfeee9b8d283e0f74Timo Sirainen %span= fancy_link(resource.parent)
6cd02a9525acb9897a65b05bfeee9b8d283e0f74Timo Sirainen #{Settings.OMS} defined in the file
6cd02a9525acb9897a65b05bfeee9b8d283e0f74Timo Sirainen = fancy_link repository_tree_path(resource.repository, resource.path)
5e40ed3f0a2c2acddc9b8eab59670c7a850114c5Timo Sirainen = t 'ontology.deleted.info', path: resource.path, oms: Settings.OMS
5e40ed3f0a2c2acddc9b8eab59670c7a850114c5Timo Sirainen = raw "#{link_to t('ontology.deleted.last_file_version'), last_file_path(resource)}."
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen See for detailed documentation
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen = link_to resource.documentation, resource.documentation
956f7778e413d3184d69e7b96e4a6b3cd5570bcdTimo Sirainen %span.iri-link= link_to url_for(resource), url_for(resource)
72cbf33ae81fde08384d30c779ff540752d9256cTimo Sirainen = render partial: '/ontologies/oops_state', locals: {resource: resource}
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen- if resource.non_current_active_version?(current_user)
8d80659e504ffb34bb0c6a633184fece35751b18Timo Sirainen = render partial: '/shared/state', locals: {resource: resource}
df6478c4cf605bd81b3891c148b84c14eb6c4035Timo Sirainen - @top_level_pages.each do |(page_title, page, controller)|
72cbf33ae81fde08384d30c779ff540752d9256cTimo Sirainen %li{class: controller==current_page || in_subcontroller?(controller, current_page) ? 'active' : nil}
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen = link_to page_title, page
0cb2e8eb55e70f8ebe1e8349bdf49e4cbe5d8834Timo Sirainen - if %w(symbols axioms theorems children proof_attempts prover_outputs).include?(controller_name)
5e40ed3f0a2c2acddc9b8eab59670c7a850114c5Timo Sirainen - @symbols.each do |symbols|
61b6d1256936065321153bcd9228b9e45d95c9abTimo Sirainen %li{:class => (symbols.kind == @active_kind ? 'active' : nil)}
61b6d1256936065321153bcd9228b9e45d95c9abTimo Sirainen = link_to url_for([resource_chain.last, :symbols, kind: symbols.kind]) do
e1f05b193ac1edd3267294e9501e8063aa0f791aTimo Sirainen = symbols.count == 1 ? symbols.kind : symbols.kind.pluralize
e1f05b193ac1edd3267294e9501e8063aa0f791aTimo Sirainen %span.badge{:style => symbols.count == 0 && 'display:none'}= symbols.count
e1f05b193ac1edd3267294e9501e8063aa0f791aTimo Sirainen - pages.each do |page, path, count|
5e40ed3f0a2c2acddc9b8eab59670c7a850114c5Timo Sirainen %li{:class => (page==current_page ? 'active' : nil)}
5e40ed3f0a2c2acddc9b8eab59670c7a850114c5Timo Sirainen = link_to path do
5e40ed3f0a2c2acddc9b8eab59670c7a850114c5Timo Sirainen - if count # hide counter if empty
5e40ed3f0a2c2acddc9b8eab59670c7a850114c5Timo Sirainen %span.badge{:style => count==0 && 'display:none'}= count
61b6d1256936065321153bcd9228b9e45d95c9abTimo Sirainen - if in_metadata?
5e40ed3f0a2c2acddc9b8eab59670c7a850114c5Timo Sirainen - @metadatas.each do |(page_title, page, controller)|
5e40ed3f0a2c2acddc9b8eab59670c7a850114c5Timo Sirainen %li{class: controller==current_page ? 'active' : nil}
5e40ed3f0a2c2acddc9b8eab59670c7a850114c5Timo Sirainen = link_to page_title, page