{"shas":[["08addd22d260498f2c1a2cd82cfdf50e1a94e578","deb76a6ff9257768f68e49894f2275bff7a10ac6@bfh.ch","Doc: Todo tweaked","Ruben Baer"],["4516a3a96155500c835ac2e9da88f8c1940e457b","deb76a6ff9257768f68e49894f2275bff7a10ac6@bfh.ch","Doc: Journal entry skip removed","Ruben Baer"],["91bec90bedb81481d0167b7ef5bee80052917f37","deb76a6ff9257768f68e49894f2275bff7a10ac6@bfh.ch","Doc: Integrating nominal and structural subtyping","Ruben Baer"],["66ab19a1ad406201516230ff1160b0d707f94692","deb76a6ff9257768f68e49894f2275bff7a10ac6@bfh.ch","Doc: new latex commands","Ruben Baer"],["72c253c5e426e5a6eba35d96bc873333b7f92a83","deb76a6ff9257768f68e49894f2275bff7a10ac6@bfh.ch","Doc: Language Principles and Background added\n\nLanguage principles written\nFurther explanations on matching\nJournal format changed","Ruben Baer"],["6c17cf54a267a48b0b52de9627e49ae651a79e14","deb76a6ff9257768f68e49894f2275bff7a10ac6@bfh.ch","Doc: Journal vspace fixed\n\nOld vspace in journal entry added an ugly gap","Ruben Baer"]],"repo":"rubenbaer/ooplss","actor":"rubenbaer","ref":"refs/heads/master","size":6,"head":"6c17cf54a267a48b0b52de9627e49ae651a79e14","actor_gravatar":"ac21b0c86fb697ab88456a7ad33d295d","push_id":27625968}