{"push_id":545364024,"size":13,"distinct_size":13,"ref":"refs/heads/master","head":"54aa8d5dd77836550a91c5a0509b2b2e4948afd5","before":"ab205931ab508c9c51d4cb4c71ece3e05df20a92","commits":[{"sha":"895068840043cd8f4f4f7f78b0b7d40c1415cf2b","author":{"email":"c69c20a75344cdf9c5a59d1c42a7c3a6fdcee1c7@risc.uni-linz.ac.at","name":"Alexander Maletzky"},"message":"Added new proof strategy \"priorityInteractiveSaturation\"","distinct":true,"url":"https://api.github.com/repos/windsteiger/Theorema/commits/895068840043cd8f4f4f7f78b0b7d40c1415cf2b"},{"sha":"99becf0dd2132da9d5201c2c39b9e04b5aadc17d","author":{"email":"c69c20a75344cdf9c5a59d1c42a7c3a6fdcee1c7@risc.uni-linz.ac.at","name":"Alexander Maletzky"},"message":"Merge branch 'master' of jackdaw:theorema","distinct":true,"url":"https://api.github.com/repos/windsteiger/Theorema/commits/99becf0dd2132da9d5201c2c39b9e04b5aadc17d"},{"sha":"d20dae6674a976d2021597340e5c925c54d3e889","author":{"email":"c582cdd5934200f8d6b8e56a7ad61a892669a379@risc.jku.at","name":"Wolfgang Windsteiger"},"message":"solveByUnification pattern matching problem","distinct":true,"url":"https://api.github.com/repos/windsteiger/Theorema/commits/d20dae6674a976d2021597340e5c925c54d3e889"},{"sha":"548d380df656a126bb447dc58185d79569115df2","author":{"email":"c582cdd5934200f8d6b8e56a7ad61a892669a379@risc.jku.at","name":"Wolfgang Windsteiger"},"message":"Stylesheet path in Workbench (not solved yet)","distinct":true,"url":"https://api.github.com/repos/windsteiger/Theorema/commits/548d380df656a126bb447dc58185d79569115df2"},{"sha":"4cd97883a1e4a3f3bf6b466c8f378de3cbb014bd","author":{"email":"c582cdd5934200f8d6b8e56a7ad61a892669a379@risc.jku.at","name":"Wolfgang Windsteiger"},"message":"Colored section headings in Mma V10 overwritten","distinct":true,"url":"https://api.github.com/repos/windsteiger/Theorema/commits/4cd97883a1e4a3f3bf6b466c8f378de3cbb014bd"},{"sha":"6451c7dd8f49a556fdd4ca91251157e4917d1337","author":{"email":"c582cdd5934200f8d6b8e56a7ad61a892669a379@risc.jku.at","name":"Wolfgang Windsteiger"},"message":"Proof text for partial solving by matching","distinct":true,"url":"https://api.github.com/repos/windsteiger/Theorema/commits/6451c7dd8f49a556fdd4ca91251157e4917d1337"},{"sha":"f8a86baddf3b2394dbb0e2bd560530fe5d504deb","author":{"email":"c69c20a75344cdf9c5a59d1c42a7c3a6fdcee1c7@risc.uni-linz.ac.at","name":"Alexander Maletzky"},"message":"Added dispatch tables for conversion between Theorema and Mathematica","distinct":true,"url":"https://api.github.com/repos/windsteiger/Theorema/commits/f8a86baddf3b2394dbb0e2bd560530fe5d504deb"},{"sha":"525ea56dbc1db2c9779711796f38eb2f0bc2b769","author":{"email":"c582cdd5934200f8d6b8e56a7ad61a892669a379@risc.jku.at","name":"Wolfgang Windsteiger"},"message":"Documentation Location","distinct":true,"url":"https://api.github.com/repos/windsteiger/Theorema/commits/525ea56dbc1db2c9779711796f38eb2f0bc2b769"},{"sha":"468820e373c91ae8e8626d03884191ab541ed358","author":{"email":"c582cdd5934200f8d6b8e56a7ad61a892669a379@risc.jku.at","name":"Wolfgang Windsteiger"},"message":"Merge remote-tracking branch 'amaletzk/master'","distinct":true,"url":"https://api.github.com/repos/windsteiger/Theorema/commits/468820e373c91ae8e8626d03884191ab541ed358"},{"sha":"ac5a119437f467cb2942b6d0743d80e9f1bb5e61","author":{"email":"c69c20a75344cdf9c5a59d1c42a7c3a6fdcee1c7@risc.uni-linz.ac.at","name":"Alexander Maletzky"},"message":"Minor bugfix: Changed implementation of \"varToPattern\". Old version caused problems with \"Hold\"-attributes.","distinct":true,"url":"https://api.github.com/repos/windsteiger/Theorema/commits/ac5a119437f467cb2942b6d0743d80e9f1bb5e61"},{"sha":"3b1632678a26a69b93847ff6ffe077263403528d","author":{"email":"c69c20a75344cdf9c5a59d1c42a7c3a6fdcee1c7@risc.uni-linz.ac.at","name":"Alexander Maletzky"},"message":"Positions of variables bound by \"let\" are now computed when formula is parsed, such that computation becomes faster.","distinct":true,"url":"https://api.github.com/repos/windsteiger/Theorema/commits/3b1632678a26a69b93847ff6ffe077263403528d"},{"sha":"df7e241caca814c7c681c09104d47919ffef0370","author":{"email":"c582cdd5934200f8d6b8e56a7ad61a892669a379@risc.jku.at","name":"Wolfgang Windsteiger"},"message":"Efficient notebook evaluation / Archives\n\nknowledge browser not updated with every formula evaluation.\nintroduce list of pending notebooks, which is checked regulary\nonly if no evaluation is active, the knowledge browser entry corresponding\nto a pending notebook is updated -> Evaluation of big notebooks should\nbecome quicker.\nArchive mechanism bug fix","distinct":true,"url":"https://api.github.com/repos/windsteiger/Theorema/commits/df7e241caca814c7c681c09104d47919ffef0370"},{"sha":"54aa8d5dd77836550a91c5a0509b2b2e4948afd5","author":{"email":"c582cdd5934200f8d6b8e56a7ad61a892669a379@risc.jku.at","name":"Wolfgang Windsteiger"},"message":"Merge remote-tracking branch 'amaletzk/master'","distinct":true,"url":"https://api.github.com/repos/windsteiger/Theorema/commits/54aa8d5dd77836550a91c5a0509b2b2e4948afd5"}]}