Cross Reference: /ontohub/config/routes.rb

Lines Matching refs:title
16       doc title: 'An action that represents a long-running operation'
27       doc title: 'Ontology IRI (loc/id) with version reference',
43       doc title: 'Ontology IRI (loc/id) with version reference',
60       doc title: 'MMT reference to an ontology',
75       doc title: 'MMT reference to a mapping',
90       doc title: 'MMT reference to a symbol',
106       doc title: 'MMT reference to a axiom',
121       doc title: 'MMT reference to a theorem',
136       doc title: 'MMT reference to a proof attempt configuration',
151       doc title: 'Ontology retry parsing command',
178         doc title: "Ontology subsite about #{category.to_s.gsub(/_/, ' ')}",
192       doc title: 'loc/id reference to a theorem command',
206       doc title: 'loc/id reference to a theorem command',
222         doc title: "Ontology subsite about #{category.to_s.gsub(/_/, ' ')}",
236       doc title: 'Ontology prove command',
249       doc title: 'Ontology prove command',
262       doc title: 'Ontology edit command',
275       doc title: 'Ontology update command',
288       doc title: "Ontology subsite about sentences",
305       doc title: 'loc/id reference to an ontology',
320       doc title: 'loc/id reference to a mapping',
335       doc title: 'loc/id reference to a symbol',
353         doc title: 'loc/id reference to a theorem subsite',
368       doc title: 'loc/id reference to a theorem command',
382       doc title: 'loc/id reference to a theorem command',
398       doc title: 'loc/id reference to a prover output',
417         doc title: 'loc/id reference to a proof attempt subsite',
436           doc title: "loc/id reference to a #{type} subsite",
453       doc title: 'loc/id reference to an axiom',
469       doc title: 'loc/id reference to a theorem',
486         doc title: 'loc/id reference to a proof attempt configuration subsite',
501       doc title: 'loc/id reference to a proof attempt configuration',
516       doc title: 'loc/id reference to a sentence',
532       doc title: 'loc/id reference to a proof attempt',
544     doc title: 'IRI of an ontology type',
558     doc title: 'IRI of a logic',
569     doc title: 'IRI of a license model',
580     doc title: 'IRI of a formality level',
590       doc title: 'index of proof statuses',
600       doc title: 'reference to a proof status',
636       doc title: 'index of logic mappings',
647       doc title: 'id reference to a logic mapping',
782       doc title: 'loc/id reference to a repository',
794       doc title: 'loc/id reference to a repository',