├── .gitignore ├── .merlin ├── B0.ml ├── BRZO ├── CHANGES.md ├── DEVEL.md ├── LICENSE.md ├── README.md ├── doc ├── index.mld ├── manual.md └── screens │ ├── author-edit.png │ ├── author-private-view.png │ ├── ref-doi-add.png │ ├── ref-edit-simple.png │ ├── ref-private-view.png │ └── ref-public-view.png ├── opam ├── src ├── bibtex.ml ├── bibtex.mli ├── blobstore.ml ├── blobstore.mli ├── crossref.ml ├── crossref.mli ├── date.ml ├── date.mli ├── db.ml ├── db.mli ├── doi.ml ├── doi.mli ├── email.ml ├── email.mli ├── export.ml ├── export.mli ├── front │ ├── doi_relinker.ml │ ├── fonts │ │ ├── DejaVuSansMono-Bold.woff2 │ │ ├── DejaVuSansMono-BoldOblique.woff2 │ │ ├── DejaVuSansMono-Oblique.woff2 │ │ ├── DejaVuSansMono.woff2 │ │ ├── Lato-Black.woff2 │ │ ├── Lato-BlackItalic.woff2 │ │ ├── Lato-Bold.woff2 │ │ ├── Lato-BoldItalic.woff2 │ │ ├── Lato-Hairline.woff2 │ │ ├── Lato-HairlineItalic.woff2 │ │ ├── Lato-Heavy.woff2 │ │ ├── Lato-HeavyItalic.woff2 │ │ ├── Lato-Italic.woff2 │ │ ├── Lato-Light.woff2 │ │ ├── Lato-LightItalic.woff2 │ │ ├── Lato-Medium.woff2 │ │ ├── Lato-MediumItalic.woff2 │ │ ├── Lato-Regular.woff2 │ │ ├── Lato-Semibold.woff2 │ │ ├── Lato-SemiboldItalic.woff2 │ │ ├── Lato-Thin.woff2 │ │ ├── Lato-ThinItalic.woff2 │ │ └── fonts.css │ ├── hyperbib.css │ ├── hyperbib_front.ml │ └── negsp.css ├── html │ ├── container_html.ml │ ├── container_html.mli │ ├── doi_html.ml │ ├── doi_html.mli │ ├── entity_html.ml │ ├── entity_html.mli │ ├── hclass.ml │ ├── hclass.mli │ ├── help_html.ml │ ├── help_html.mli │ ├── home_html.ml │ ├── home_html.mli │ ├── hquery.ml │ ├── hquery.mli │ ├── html_kit.ml │ ├── html_kit.mli │ ├── hui.ml │ ├── hui.mli │ ├── icon.ml │ ├── icon.mli │ ├── label_html.ml │ ├── label_html.mli │ ├── person_html.ml │ ├── person_html.mli │ ├── reference_html.ml │ ├── reference_html.mli │ ├── search_html.ml │ ├── search_html.mli │ ├── subject_html.ml │ ├── subject_html.mli │ ├── suggestion_html.ml │ ├── suggestion_html.mli │ ├── uimsg.ml │ ├── uimsg.mli │ ├── user_html.ml │ ├── user_html.mli │ ├── year_html.ml │ └── year_html.mli ├── hyperbib_conf.ml ├── hyperbib_conf.mli ├── hyperbib_std.ml ├── hyperbib_std.mli ├── import.ml ├── import.mli ├── moveout │ ├── jsont_typegist.ml │ └── jsont_typegist.mli ├── orcid.ml ├── orcid.mli ├── page.ml ├── page.mli ├── schema │ ├── bibliography.ml │ ├── bibliography.mli │ ├── container.ml │ ├── container.mli │ ├── entity.ml │ ├── entity.mli │ ├── label.ml │ ├── label.mli │ ├── person.ml │ ├── person.mli │ ├── reference.ml │ ├── reference.mli │ ├── schema.ml │ ├── schema.mli │ ├── schema_kit.ml │ ├── schema_kit.mli │ ├── search.ml │ ├── search.mli │ ├── static_file.ml │ ├── static_file.mli │ ├── subject.ml │ ├── subject.mli │ ├── suggestion.ml │ ├── suggestion.mli │ ├── user.ml │ ├── user.mli │ ├── year.ml │ └── year.mli ├── service.ml ├── service.mli ├── service │ ├── bibliography_service.ml │ ├── bibliography_service.mli │ ├── container_service.ml │ ├── container_service.mli │ ├── entity_service.ml │ ├── entity_service.mli │ ├── label_service.ml │ ├── label_service.mli │ ├── person_service.ml │ ├── person_service.mli │ ├── reference_service.ml │ ├── reference_service.mli │ ├── search_service.ml │ ├── search_service.mli │ ├── service_kit.ml │ ├── service_kit.mli │ ├── static_file_service.ml │ ├── static_file_service.mli │ ├── subject_service.ml │ ├── subject_service.mli │ ├── suggestion_service.ml │ ├── suggestion_service.mli │ ├── user_service.ml │ ├── user_service.mli │ ├── year_service.ml │ └── year_service.mli ├── service_env.ml ├── service_env.mli ├── service_tree.ml ├── service_tree.mli ├── stamp.mli └── tool │ ├── cmd_db.ml │ ├── cmd_db.mli │ ├── cmd_doc.ml │ ├── cmd_doc.mli │ ├── cmd_export.ml │ ├── cmd_export.mli │ ├── cmd_import.ml │ ├── cmd_import.mli │ ├── cmd_run.ml │ ├── cmd_run.mli │ ├── cmd_serve.ml │ ├── cmd_serve.mli │ ├── cmd_user.ml │ ├── cmd_user.mli │ ├── hyperbib.service │ ├── hyperbib_cli.ml │ ├── hyperbib_cli.mli │ └── hyperbib_main.ml └── test ├── test_blobstore.ml └── test_orcid.ml /.gitignore: -------------------------------------------------------------------------------- 1 | _b0 2 | *.install 3 | _build 4 | app 5 | tmp -------------------------------------------------------------------------------- /.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/.merlin -------------------------------------------------------------------------------- /B0.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/B0.ml -------------------------------------------------------------------------------- /BRZO: -------------------------------------------------------------------------------- 1 | (srcs-x app test src/attic) -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/CHANGES.md -------------------------------------------------------------------------------- /DEVEL.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/DEVEL.md -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/README.md -------------------------------------------------------------------------------- /doc/index.mld: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/doc/index.mld -------------------------------------------------------------------------------- /doc/manual.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/doc/manual.md -------------------------------------------------------------------------------- /doc/screens/author-edit.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/doc/screens/author-edit.png -------------------------------------------------------------------------------- /doc/screens/author-private-view.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/doc/screens/author-private-view.png -------------------------------------------------------------------------------- /doc/screens/ref-doi-add.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/doc/screens/ref-doi-add.png -------------------------------------------------------------------------------- /doc/screens/ref-edit-simple.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/doc/screens/ref-edit-simple.png -------------------------------------------------------------------------------- /doc/screens/ref-private-view.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/doc/screens/ref-private-view.png -------------------------------------------------------------------------------- /doc/screens/ref-public-view.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/doc/screens/ref-public-view.png -------------------------------------------------------------------------------- /opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/opam -------------------------------------------------------------------------------- /src/bibtex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/bibtex.ml -------------------------------------------------------------------------------- /src/bibtex.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/bibtex.mli -------------------------------------------------------------------------------- /src/blobstore.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/blobstore.ml -------------------------------------------------------------------------------- /src/blobstore.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/blobstore.mli -------------------------------------------------------------------------------- /src/crossref.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/crossref.ml -------------------------------------------------------------------------------- /src/crossref.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/crossref.mli -------------------------------------------------------------------------------- /src/date.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/date.ml -------------------------------------------------------------------------------- /src/date.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/date.mli -------------------------------------------------------------------------------- /src/db.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/db.ml -------------------------------------------------------------------------------- /src/db.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/db.mli -------------------------------------------------------------------------------- /src/doi.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/doi.ml -------------------------------------------------------------------------------- /src/doi.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/doi.mli -------------------------------------------------------------------------------- /src/email.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/email.ml -------------------------------------------------------------------------------- /src/email.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/email.mli -------------------------------------------------------------------------------- /src/export.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/export.ml -------------------------------------------------------------------------------- /src/export.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/export.mli -------------------------------------------------------------------------------- /src/front/doi_relinker.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/doi_relinker.ml -------------------------------------------------------------------------------- /src/front/fonts/DejaVuSansMono-Bold.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/DejaVuSansMono-Bold.woff2 -------------------------------------------------------------------------------- /src/front/fonts/DejaVuSansMono-BoldOblique.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/DejaVuSansMono-BoldOblique.woff2 -------------------------------------------------------------------------------- /src/front/fonts/DejaVuSansMono-Oblique.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/DejaVuSansMono-Oblique.woff2 -------------------------------------------------------------------------------- /src/front/fonts/DejaVuSansMono.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/DejaVuSansMono.woff2 -------------------------------------------------------------------------------- /src/front/fonts/Lato-Black.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/Lato-Black.woff2 -------------------------------------------------------------------------------- /src/front/fonts/Lato-BlackItalic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/Lato-BlackItalic.woff2 -------------------------------------------------------------------------------- /src/front/fonts/Lato-Bold.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/Lato-Bold.woff2 -------------------------------------------------------------------------------- /src/front/fonts/Lato-BoldItalic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/Lato-BoldItalic.woff2 -------------------------------------------------------------------------------- /src/front/fonts/Lato-Hairline.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/Lato-Hairline.woff2 -------------------------------------------------------------------------------- /src/front/fonts/Lato-HairlineItalic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/Lato-HairlineItalic.woff2 -------------------------------------------------------------------------------- /src/front/fonts/Lato-Heavy.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/Lato-Heavy.woff2 -------------------------------------------------------------------------------- /src/front/fonts/Lato-HeavyItalic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/Lato-HeavyItalic.woff2 -------------------------------------------------------------------------------- /src/front/fonts/Lato-Italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/Lato-Italic.woff2 -------------------------------------------------------------------------------- /src/front/fonts/Lato-Light.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/Lato-Light.woff2 -------------------------------------------------------------------------------- /src/front/fonts/Lato-LightItalic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/Lato-LightItalic.woff2 -------------------------------------------------------------------------------- /src/front/fonts/Lato-Medium.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/Lato-Medium.woff2 -------------------------------------------------------------------------------- /src/front/fonts/Lato-MediumItalic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/Lato-MediumItalic.woff2 -------------------------------------------------------------------------------- /src/front/fonts/Lato-Regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/Lato-Regular.woff2 -------------------------------------------------------------------------------- /src/front/fonts/Lato-Semibold.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/Lato-Semibold.woff2 -------------------------------------------------------------------------------- /src/front/fonts/Lato-SemiboldItalic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/Lato-SemiboldItalic.woff2 -------------------------------------------------------------------------------- /src/front/fonts/Lato-Thin.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/Lato-Thin.woff2 -------------------------------------------------------------------------------- /src/front/fonts/Lato-ThinItalic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/Lato-ThinItalic.woff2 -------------------------------------------------------------------------------- /src/front/fonts/fonts.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/fonts/fonts.css -------------------------------------------------------------------------------- /src/front/hyperbib.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/hyperbib.css -------------------------------------------------------------------------------- /src/front/hyperbib_front.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/hyperbib_front.ml -------------------------------------------------------------------------------- /src/front/negsp.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/front/negsp.css -------------------------------------------------------------------------------- /src/html/container_html.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/container_html.ml -------------------------------------------------------------------------------- /src/html/container_html.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/container_html.mli -------------------------------------------------------------------------------- /src/html/doi_html.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/doi_html.ml -------------------------------------------------------------------------------- /src/html/doi_html.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/doi_html.mli -------------------------------------------------------------------------------- /src/html/entity_html.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/entity_html.ml -------------------------------------------------------------------------------- /src/html/entity_html.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/entity_html.mli -------------------------------------------------------------------------------- /src/html/hclass.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/hclass.ml -------------------------------------------------------------------------------- /src/html/hclass.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/hclass.mli -------------------------------------------------------------------------------- /src/html/help_html.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/help_html.ml -------------------------------------------------------------------------------- /src/html/help_html.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/help_html.mli -------------------------------------------------------------------------------- /src/html/home_html.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/home_html.ml -------------------------------------------------------------------------------- /src/html/home_html.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/home_html.mli -------------------------------------------------------------------------------- /src/html/hquery.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/hquery.ml -------------------------------------------------------------------------------- /src/html/hquery.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/hquery.mli -------------------------------------------------------------------------------- /src/html/html_kit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/html_kit.ml -------------------------------------------------------------------------------- /src/html/html_kit.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/html_kit.mli -------------------------------------------------------------------------------- /src/html/hui.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/hui.ml -------------------------------------------------------------------------------- /src/html/hui.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/hui.mli -------------------------------------------------------------------------------- /src/html/icon.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/icon.ml -------------------------------------------------------------------------------- /src/html/icon.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/icon.mli -------------------------------------------------------------------------------- /src/html/label_html.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/label_html.ml -------------------------------------------------------------------------------- /src/html/label_html.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/label_html.mli -------------------------------------------------------------------------------- /src/html/person_html.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/person_html.ml -------------------------------------------------------------------------------- /src/html/person_html.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/person_html.mli -------------------------------------------------------------------------------- /src/html/reference_html.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/reference_html.ml -------------------------------------------------------------------------------- /src/html/reference_html.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/reference_html.mli -------------------------------------------------------------------------------- /src/html/search_html.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/search_html.ml -------------------------------------------------------------------------------- /src/html/search_html.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/search_html.mli -------------------------------------------------------------------------------- /src/html/subject_html.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/subject_html.ml -------------------------------------------------------------------------------- /src/html/subject_html.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/subject_html.mli -------------------------------------------------------------------------------- /src/html/suggestion_html.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/suggestion_html.ml -------------------------------------------------------------------------------- /src/html/suggestion_html.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/suggestion_html.mli -------------------------------------------------------------------------------- /src/html/uimsg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/uimsg.ml -------------------------------------------------------------------------------- /src/html/uimsg.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/uimsg.mli -------------------------------------------------------------------------------- /src/html/user_html.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/user_html.ml -------------------------------------------------------------------------------- /src/html/user_html.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/user_html.mli -------------------------------------------------------------------------------- /src/html/year_html.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/year_html.ml -------------------------------------------------------------------------------- /src/html/year_html.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/html/year_html.mli -------------------------------------------------------------------------------- /src/hyperbib_conf.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/hyperbib_conf.ml -------------------------------------------------------------------------------- /src/hyperbib_conf.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/hyperbib_conf.mli -------------------------------------------------------------------------------- /src/hyperbib_std.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/hyperbib_std.ml -------------------------------------------------------------------------------- /src/hyperbib_std.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/hyperbib_std.mli -------------------------------------------------------------------------------- /src/import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/import.ml -------------------------------------------------------------------------------- /src/import.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/import.mli -------------------------------------------------------------------------------- /src/moveout/jsont_typegist.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/moveout/jsont_typegist.ml -------------------------------------------------------------------------------- /src/moveout/jsont_typegist.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/moveout/jsont_typegist.mli -------------------------------------------------------------------------------- /src/orcid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/orcid.ml -------------------------------------------------------------------------------- /src/orcid.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/orcid.mli -------------------------------------------------------------------------------- /src/page.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/page.ml -------------------------------------------------------------------------------- /src/page.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/page.mli -------------------------------------------------------------------------------- /src/schema/bibliography.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/bibliography.ml -------------------------------------------------------------------------------- /src/schema/bibliography.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/bibliography.mli -------------------------------------------------------------------------------- /src/schema/container.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/container.ml -------------------------------------------------------------------------------- /src/schema/container.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/container.mli -------------------------------------------------------------------------------- /src/schema/entity.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/entity.ml -------------------------------------------------------------------------------- /src/schema/entity.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/entity.mli -------------------------------------------------------------------------------- /src/schema/label.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/label.ml -------------------------------------------------------------------------------- /src/schema/label.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/label.mli -------------------------------------------------------------------------------- /src/schema/person.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/person.ml -------------------------------------------------------------------------------- /src/schema/person.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/person.mli -------------------------------------------------------------------------------- /src/schema/reference.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/reference.ml -------------------------------------------------------------------------------- /src/schema/reference.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/reference.mli -------------------------------------------------------------------------------- /src/schema/schema.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/schema.ml -------------------------------------------------------------------------------- /src/schema/schema.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/schema.mli -------------------------------------------------------------------------------- /src/schema/schema_kit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/schema_kit.ml -------------------------------------------------------------------------------- /src/schema/schema_kit.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/schema_kit.mli -------------------------------------------------------------------------------- /src/schema/search.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/search.ml -------------------------------------------------------------------------------- /src/schema/search.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/search.mli -------------------------------------------------------------------------------- /src/schema/static_file.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/static_file.ml -------------------------------------------------------------------------------- /src/schema/static_file.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/static_file.mli -------------------------------------------------------------------------------- /src/schema/subject.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/subject.ml -------------------------------------------------------------------------------- /src/schema/subject.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/subject.mli -------------------------------------------------------------------------------- /src/schema/suggestion.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/suggestion.ml -------------------------------------------------------------------------------- /src/schema/suggestion.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/suggestion.mli -------------------------------------------------------------------------------- /src/schema/user.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/user.ml -------------------------------------------------------------------------------- /src/schema/user.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/user.mli -------------------------------------------------------------------------------- /src/schema/year.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/year.ml -------------------------------------------------------------------------------- /src/schema/year.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/schema/year.mli -------------------------------------------------------------------------------- /src/service.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service.ml -------------------------------------------------------------------------------- /src/service.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service.mli -------------------------------------------------------------------------------- /src/service/bibliography_service.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/bibliography_service.ml -------------------------------------------------------------------------------- /src/service/bibliography_service.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/bibliography_service.mli -------------------------------------------------------------------------------- /src/service/container_service.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/container_service.ml -------------------------------------------------------------------------------- /src/service/container_service.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/container_service.mli -------------------------------------------------------------------------------- /src/service/entity_service.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/entity_service.ml -------------------------------------------------------------------------------- /src/service/entity_service.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/entity_service.mli -------------------------------------------------------------------------------- /src/service/label_service.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/label_service.ml -------------------------------------------------------------------------------- /src/service/label_service.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/label_service.mli -------------------------------------------------------------------------------- /src/service/person_service.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/person_service.ml -------------------------------------------------------------------------------- /src/service/person_service.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/person_service.mli -------------------------------------------------------------------------------- /src/service/reference_service.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/reference_service.ml -------------------------------------------------------------------------------- /src/service/reference_service.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/reference_service.mli -------------------------------------------------------------------------------- /src/service/search_service.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/search_service.ml -------------------------------------------------------------------------------- /src/service/search_service.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/search_service.mli -------------------------------------------------------------------------------- /src/service/service_kit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/service_kit.ml -------------------------------------------------------------------------------- /src/service/service_kit.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/service_kit.mli -------------------------------------------------------------------------------- /src/service/static_file_service.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/static_file_service.ml -------------------------------------------------------------------------------- /src/service/static_file_service.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/static_file_service.mli -------------------------------------------------------------------------------- /src/service/subject_service.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/subject_service.ml -------------------------------------------------------------------------------- /src/service/subject_service.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/subject_service.mli -------------------------------------------------------------------------------- /src/service/suggestion_service.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/suggestion_service.ml -------------------------------------------------------------------------------- /src/service/suggestion_service.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/suggestion_service.mli -------------------------------------------------------------------------------- /src/service/user_service.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/user_service.ml -------------------------------------------------------------------------------- /src/service/user_service.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/user_service.mli -------------------------------------------------------------------------------- /src/service/year_service.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/year_service.ml -------------------------------------------------------------------------------- /src/service/year_service.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service/year_service.mli -------------------------------------------------------------------------------- /src/service_env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service_env.ml -------------------------------------------------------------------------------- /src/service_env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service_env.mli -------------------------------------------------------------------------------- /src/service_tree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service_tree.ml -------------------------------------------------------------------------------- /src/service_tree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/service_tree.mli -------------------------------------------------------------------------------- /src/stamp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/stamp.mli -------------------------------------------------------------------------------- /src/tool/cmd_db.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/tool/cmd_db.ml -------------------------------------------------------------------------------- /src/tool/cmd_db.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/tool/cmd_db.mli -------------------------------------------------------------------------------- /src/tool/cmd_doc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/tool/cmd_doc.ml -------------------------------------------------------------------------------- /src/tool/cmd_doc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/tool/cmd_doc.mli -------------------------------------------------------------------------------- /src/tool/cmd_export.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/tool/cmd_export.ml -------------------------------------------------------------------------------- /src/tool/cmd_export.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/tool/cmd_export.mli -------------------------------------------------------------------------------- /src/tool/cmd_import.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/tool/cmd_import.ml -------------------------------------------------------------------------------- /src/tool/cmd_import.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/tool/cmd_import.mli -------------------------------------------------------------------------------- /src/tool/cmd_run.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/tool/cmd_run.ml -------------------------------------------------------------------------------- /src/tool/cmd_run.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/tool/cmd_run.mli -------------------------------------------------------------------------------- /src/tool/cmd_serve.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/tool/cmd_serve.ml -------------------------------------------------------------------------------- /src/tool/cmd_serve.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/tool/cmd_serve.mli -------------------------------------------------------------------------------- /src/tool/cmd_user.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/tool/cmd_user.ml -------------------------------------------------------------------------------- /src/tool/cmd_user.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/tool/cmd_user.mli -------------------------------------------------------------------------------- /src/tool/hyperbib.service: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/tool/hyperbib.service -------------------------------------------------------------------------------- /src/tool/hyperbib_cli.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/tool/hyperbib_cli.ml -------------------------------------------------------------------------------- /src/tool/hyperbib_cli.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/tool/hyperbib_cli.mli -------------------------------------------------------------------------------- /src/tool/hyperbib_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/src/tool/hyperbib_main.ml -------------------------------------------------------------------------------- /test/test_blobstore.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/test/test_blobstore.ml -------------------------------------------------------------------------------- /test/test_orcid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dbuenzli/hyperbib/HEAD/test/test_orcid.ml --------------------------------------------------------------------------------