diff --git a/README.md b/README.md index 815b904be80aefd1b72fb480c6a08b7b41f66fc6..7213f115a55edf852eb03cfd6ff308863af0d9f2 100644 --- a/README.md +++ b/README.md @@ -71,7 +71,7 @@ It consists of a set of items, that are defined by the following keys: * `url` - The (internal or external) url to the page. If internal, must be relative to the root directory. * `folder` - Instead of using `url`, the `folder` can be used to create a submenu pointing to a specific folder. * `items` - A list of items for submenus. -* `menu_external` - If set to `true`, assumes that `url` is external to the page. +* `external` - If set to `true`, assumes that `url` is external to the page. * `menu_title` and `title` - Title to be used in the menu item. * `menu_hidden` - If set to `true`, hide the item from the menu. * `menu_order` - By default, menus are ordered in the order they are listed in the menu. This key can be used to override the order. Values must be non-negative integers between 0 and 10000 (inclusive). The default value is 100. @@ -126,20 +126,20 @@ It is recommended to install the [GitHub pages gem](https://github.com/github/pa If you already have Ruby, the install part should be as easy as ~~~ -gem install github-pages -V +gem install bundler +bundle install ~~~ -Note that you will need Ruby headers (`ruby-dev` package on Ubuntu) in order to compile C dependencies. +in the local clone of this repository. -On OS X, you can just type `sudo gem install github-pages -V`. +Note that you will need Ruby headers (`ruby-dev` package on Ubuntu) in order to compile C dependencies. -Now you can `cd` into your local clone of the repository and launch the compilation by +You can then run the development server by: ~~~ -jekyll serve -w -b'' +bundle exec jekyll serve ~~~ Your site will be generated in a `_site` sub-directory, and served live at <http://localhost:4000/>. -Any changes to the sources will trigger an automatic recompilation! Have fun! diff --git a/people/akohlhase.md b/people/akohlhase.md index 728a6fe3a99e6ac2fb7b15a9e884aa1bde91172f..d5a2b64cd0e33f12712c4b26dd9f43a5f3394bdc 100644 --- a/people/akohlhase.md +++ b/people/akohlhase.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Andrea Kohlhase title: Andrea Kohlhase menu_order: 102 fullname: Prof. Dr. Andrea Kohlhase diff --git a/people/cjucovschi.md b/people/cjucovschi.md index 98098482a192566e433826e48ce628d518ce689e..7d87355585ed91c1f2ff0100a4b4f4cc7f7f81f3 100644 --- a/people/cjucovschi.md +++ b/people/cjucovschi.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Constantin Jucovschi title: Constantin Jucovschi menu_order: 101 fullname: Constantin Jucovschi diff --git a/people/clange.md b/people/clange.md index 40098b0134d21fdd994e9435a9d04cc44dcc991d..9c6a397a302494d7a64e4d473893ca0bcf99d014 100644 --- a/people/clange.md +++ b/people/clange.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Christoph Lange title: Christoph Lange menu_order: 102 fullname: Dr. Christoph Lange diff --git a/people/cmueller.md b/people/cmueller.md index be5aadf19816d125ae4631ace4af2e2eb5c982df..7da3cd5eefc8a48212a4d34e3bc22e68c0550643 100644 --- a/people/cmueller.md +++ b/people/cmueller.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Christine Müller title: Christine Müller menu_order: 102 fullname: Dr. Christine Müller diff --git a/people/dginev.md b/people/dginev.md index f3d236ceaaa2e6e704aeeb5695a128cebc928e0c..97144a399539b1cd39121c3d12cdc5bfcc1a0b3f 100644 --- a/people/dginev.md +++ b/people/dginev.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Deyan Ginev title: Deyan Ginev menu_order: 101 fullname: Deyan Ginev diff --git a/people/dmueller.md b/people/dmueller.md index 0e617ea1c8bfe0e4b1d590420f0841f2da84df8e..de5e30258c1d7e7fef934b2278560f0a090b55b0 100644 --- a/people/dmueller.md +++ b/people/dmueller.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Dennis Müller title: Dennis Müller menu_order: 101 fullname: Dennis Müller diff --git a/people/fhorozal.md b/people/fhorozal.md index 1d299ea8ceeb66c0d71b65ee81fe7d8c7242c29e..9cf91e2ec6f5544eccfad5adb97e234015a7787b 100644 --- a/people/fhorozal.md +++ b/people/fhorozal.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Fulya Horozal title: Fulya Horozal menu_order: 102 fullname: Dr. Fulya Horozal diff --git a/people/frabe.md b/people/frabe.md index db12c7d58c9c32f6334f802d4f92fe061474a5da..4d9644e0aa1a1d783b106e5815da3bd7654536c2 100644 --- a/people/frabe.md +++ b/people/frabe.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Florian Rabe title: Florian Rabe menu_order: 102 fullname: PD Dr. Florian Rabe diff --git a/people/hstamerjohanns.md b/people/hstamerjohanns.md index 35054eec7388af11bc4c6209a5a5e5bf49fce549..38ee4dd3e55e2d2994d0ab8ed4d3e1ec02751886 100644 --- a/people/hstamerjohanns.md +++ b/people/hstamerjohanns.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Heinrich Stamerjohanns title: Heinrich Stamerjohanns menu_order: 102 fullname: Dr. Heinrich Stamerjohanns diff --git a/people/inormann.md b/people/inormann.md index bfdb7557ac4875f38ad231f82b834994cd20cf65..4f7efaa2e12abf3bc2fefffc0be8fec97aa75089 100644 --- a/people/inormann.md +++ b/people/inormann.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Immanuel Normann title: Immanuel Normann menu_order: 102 fullname: Dr. Immanuel Normann diff --git a/people/jbetzendal.md b/people/jbetzendal.md index 509e91cb3e0b82405a1909db6078618919f24033..c9ba4e3206994216e4ad0cbc463dcc381289d350 100644 --- a/people/jbetzendal.md +++ b/people/jbetzendal.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Jonas Betzendal title: Jonas Betzendal menu_order: 102 fullname: B.Sc. Jonas Betzendal diff --git a/people/miancu.md b/people/miancu.md index bbba4701d84aca3c1b2bf5641f69bf81a6ef5bd1..62674b1fb380ebbcf9675c96e515731e86b63fec 100644 --- a/people/miancu.md +++ b/people/miancu.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Mihnea Iancu title: Mihnea Iancu menu_order: 101 fullname: Mihnea Iancu diff --git a/people/mkohlhase.md b/people/mkohlhase.md index 6d0cab2ce8d74fd7932575bdfae9ac5a978d5716..617bd49d828e3424834273bd5d94e7adbdbe6fa1 100644 --- a/people/mkohlhase.md +++ b/people/mkohlhase.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Michael Kohlhase title: Michael Kohlhase menu_order: 101 fullname: Prof. Dr. Michael Kohlhase diff --git a/people/nmueller.md b/people/nmueller.md index 7dd29a1851da4773c8cb131f89e0f28c48f11895..71a72080656d40683805006ab14d066a7d27ddaa 100644 --- a/people/nmueller.md +++ b/people/nmueller.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Normen Müller title: Normen Müller menu_order: 102 fullname: Dr. Normen Müller diff --git a/people/twiesing.md b/people/twiesing.md index 111712667f1b04c102a12b63169811e7181e3b51..2f61c223723889eb7eed668b27f9c80a6b9650b9 100644 --- a/people/twiesing.md +++ b/people/twiesing.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Tom Wiesing title: Tom Wiesing menu_order: 102 fullname: B.Sc. Tom Wiesing diff --git a/people/vzholudev.md b/people/vzholudev.md index f2e740731637a655fe05e6caef0fe04c86604e7f..185c183a8057d21421a603264eda6ebe1b09025e 100644 --- a/people/vzholudev.md +++ b/people/vzholudev.md @@ -1,6 +1,5 @@ --- layout: person -menu_title: Vyacheslav Zholudev title: Vyacheslav Zholudev menu_order: 102 fullname: Dr. Vyacheslav Zholudev diff --git a/projects/odk.md b/projects/odk.md index f9d7dff5fa92fc2532a478ab8fa5cb1f6a0da9ec..91b51071bd4224f2c3ff1b7da479fa55876179b5 100644 --- a/projects/odk.md +++ b/projects/odk.md @@ -1,6 +1,5 @@ --- layout: project -menu_title: OpenDreamKit title: OpenDreamKit start: 2015-09 end: 2019-08 diff --git a/research/structural-semantics.md b/research/structural-semantics.md index c029769d165510faf846b1072cba0b4e7ab6380a..ca7cbfe3886e9163145b5c3ff03aadfddf170d2f 100644 --- a/research/structural-semantics.md +++ b/research/structural-semantics.md @@ -1,7 +1,6 @@ --- layout: page title: Structural Semantics -menu_title: Structural Semantics menu_order: 103 --- Computer support for document interaction is only possible, if some aspects of the meaning of the document content are made explicit - i.e. formalized and dealt with with formal methods. In many cases, useful services can be rendered by machines without having an entailment relation, for instance we can search for a formula, we can determine the concepts it depends upon, etc. The commonality of such services is that they are based on the structure of the formulae alone. For instance, instead of relying on a formal calculus to determine theorem-hood, we only insist that there be an object that has the structure of a proof. diff --git a/systems/TNTBase.md b/systems/TNTBase.md index 78d9c2034d1fe8e02aa87e97a77945fa1f039030..9c6714c7fb71fbf0f17ae8a8b4857aede4618e6e 100644 --- a/systems/TNTBase.md +++ b/systems/TNTBase.md @@ -1,6 +1,5 @@ --- layout: system -menu_title: TNTBase title: TNTBase teaser: A Versioned Storage for Mathematics (OMDoc) start: 2009-09 diff --git a/systems/arXMLiv.md b/systems/arXMLiv.md index 04a906c935f262a7bb7dc8bc6adc969c6db31c31..9c84f72cfb6c64ee947d1455108ff57a9370de9a 100644 --- a/systems/arXMLiv.md +++ b/systems/arXMLiv.md @@ -1,6 +1,5 @@ --- layout: system -menu_title: arXMLiv title: arXMLiv start: 2006 pillar: semantization diff --git a/systems/cpoint.md b/systems/cpoint.md index 493003bb8a3cda00d2412c9087ad6fec543576ca..719af42fb43365189f30b7cf27533379f0b360cf 100644 --- a/systems/cpoint.md +++ b/systems/cpoint.md @@ -1,6 +1,5 @@ --- layout: system -menu_title: CPoint title: CPoint teaser: Adding a semantic layer to MS PowerPoint. start: 2001-07 diff --git a/systems/jomdoc.md b/systems/jomdoc.md index a1c5456696ecd74bb36e09ac3d2f3aa1e537dcfb..a82cd179c9f6bf7a25dd99f8d1dbf03604240085 100644 --- a/systems/jomdoc.md +++ b/systems/jomdoc.md @@ -1,6 +1,5 @@ --- layout: system -menu_title: JOMDoc title: JOMDoc teaser: A Java API for OMDoc documents. start: 2007-09 diff --git a/systems/krextor.md b/systems/krextor.md index 17cb8a2eccebf7e954ca27d4f787704f89a3aae3..36f321ee1b89ebb599c7e39c23ca20c46ff9b36d 100644 --- a/systems/krextor.md +++ b/systems/krextor.md @@ -1,6 +1,5 @@ --- layout: system -menu_title: Krextor title: Krextor start: 2008-02 end: 2010-09 diff --git a/systems/mathhub.md b/systems/mathhub.md index 8d12817423ff9ad311fcfff1c163a6837977cd2d..8eeeaa4c152ddf8a27bab61268610f50de1bb333 100644 --- a/systems/mathhub.md +++ b/systems/mathhub.md @@ -1,6 +1,5 @@ --- layout: system -menu_title: MathHub title: MathHub teaser: A portal for active mathematical documents and an archive for flexiformal mathematics. start: 2008-08 diff --git a/systems/openmathmap.md b/systems/openmathmap.md index 8b9f240767b04781dd3e07a2cc4d576a93237400..4d9d54d202d3fac3b20752cb7acc63e057920c83 100644 --- a/systems/openmathmap.md +++ b/systems/openmathmap.md @@ -1,6 +1,5 @@ --- layout: system -menu_title: OpenMathMap title: OpenMathMap teaser: A Map of Mathematics start: 2013-06 diff --git a/systems/sally.md b/systems/sally.md index f8fb2d29275614941bc6ac625c30ddec5185bdd8..7b2729a33f8dccc101ee1b713ed46c4456bbd80c 100644 --- a/systems/sally.md +++ b/systems/sally.md @@ -1,6 +1,5 @@ --- layout: system -menu_title: Semantic Alliance title: Semantic Alliance teaser: A framework for mashing up semantic services into desktop applications. repository: https://github.com/KWARC/Sally diff --git a/teaching/ai1.md b/teaching/ai1.md index 5ed995805f12bef38a25e3c944a99f6685c917bd..e577c3f596a8c3f55571f647f628f255dd98e3b8 100644 --- a/teaching/ai1.md +++ b/teaching/ai1.md @@ -2,7 +2,6 @@ layout: course instructor: mkohlhase title: Künstliche Intelligenz I -menu_title: Künstliche Intelligenz I taught: WS16 --- Diese Vorlesung beschäftigt sich mit den Grundlagen der Künstlichen Intelligenz (KI), diff --git a/teaching/ai2.md b/teaching/ai2.md index ce0b8f15942c169caca9fa2970a4fccc826aadd5..fa32fc6f64d0d20c20f0fc93fde95b0ca056fb55 100644 --- a/teaching/ai2.md +++ b/teaching/ai2.md @@ -2,7 +2,6 @@ layout: course instructor: mkohlhase title: Künstliche Intelligenz II -menu_title: Künstliche Intelligenz II taught: SS16/17 ---