https://sourceforge.net/p/hlm/activity/Recent activity for HLM Proof AssistantenFri, 25 Apr 2014 17:23:23 -0000https://sourceforge.net/p/hlm/hlm2/ci/fbf9da6685aff2d06a6d0c900ddd74040cf97183/fixed indentationSebastian ReicheltFri, 25 Apr 2014 17:23:23 -0000https://sourceforge.net/p/hlm/hlm2/ci/fbf9da6685aff2d06a6d0c900ddd74040cf97183/https://sourceforge.net/p/hlm/hlm2/ci/3134d1ea34384245372b25585e3566a1873a8df2/Minor cleanupSebastian ReicheltFri, 25 Apr 2014 17:23:23 -0000https://sourceforge.net/p/hlm/hlm2/ci/3134d1ea34384245372b25585e3566a1873a8df2/https://sourceforge.net/p/hlm/hlm2/ci/1ce5b52ff61e2a7708d67289379430d616b856e0/Improved handling of local keysSebastian ReicheltFri, 25 Apr 2014 17:23:23 -0000https://sourceforge.net/p/hlm/hlm2/ci/1ce5b52ff61e2a7708d67289379430d616b856e0/https://sourceforge.net/p/hlm/hlm2/ci/b06d00ef24433a6ee795805fb02108303da8ed88/second step of reducing dependencies on namesSebastian ReicheltFri, 25 Apr 2014 17:23:23 -0000https://sourceforge.net/p/hlm/hlm2/ci/b06d00ef24433a6ee795805fb02108303da8ed88/https://sourceforge.net/p/hlm/hlm2/ci/e7978f93d9988685fc5ffb573ad26db4bdcae2b9/Added support for local keys (needed for templa...Sebastian ReicheltFri, 25 Apr 2014 17:23:23 -0000https://sourceforge.net/p/hlm/hlm2/ci/e7978f93d9988685fc5ffb573ad26db4bdcae2b9/https://sourceforge.net/p/hlm/hlm2/ci/d51f58053bf09707e275361bab496d46a95ced44/first step towards reducing dependencies on namesSebastian ReicheltFri, 25 Apr 2014 17:23:23 -0000https://sourceforge.net/p/hlm/hlm2/ci/d51f58053bf09707e275361bab496d46a95ced44/https://sourceforge.net/p/hlm/hlm2/ci/91e565321c9a1a5971dee2f489272b5463dd33bc/Improved global key lookupSebastian ReicheltFri, 25 Apr 2014 17:23:23 -0000https://sourceforge.net/p/hlm/hlm2/ci/91e565321c9a1a5971dee2f489272b5463dd33bc/https://sourceforge.net/p/hlm/hlm2/ci/292f23c83e09eb776f5648eef1a0f26677791227/Initial unfinished work on templatesSebastian ReicheltFri, 25 Apr 2014 17:23:23 -0000https://sourceforge.net/p/hlm/hlm2/ci/292f23c83e09eb776f5648eef1a0f26677791227/https://sourceforge.net/p/hlm/hlm2/ci/12bc0ebaa299add5d6deb1685a76266291fddafe/Bootstrap code generated automatically againSebastian ReicheltFri, 25 Apr 2014 17:23:23 -0000https://sourceforge.net/p/hlm/hlm2/ci/12bc0ebaa299add5d6deb1685a76266291fddafe/https://sourceforge.net/p/hlm/hlm2/ci/3b3545ba2027aeca1a56f0da6ea18b5034f4e040/Temporary manual fix for bootstrap codeSebastian ReicheltFri, 25 Apr 2014 17:23:23 -0000https://sourceforge.net/p/hlm/hlm2/ci/3b3545ba2027aeca1a56f0da6ea18b5034f4e040/https://sourceforge.net/p/hlm/hlm2/ci/95fc813df76b9de7346e41f985d6e371b3be7dbe/added parent referencesSebastian ReicheltFri, 25 Apr 2014 17:23:23 -0000https://sourceforge.net/p/hlm/hlm2/ci/95fc813df76b9de7346e41f985d6e371b3be7dbe/https://sourceforge.net/p/hlm/hlm2/ci/7bdba6a54722b18029948033ca8972778bfac7d5/Fixed parent accessSebastian ReicheltFri, 25 Apr 2014 17:23:23 -0000https://sourceforge.net/p/hlm/hlm2/ci/7bdba6a54722b18029948033ca8972778bfac7d5/https://sourceforge.net/p/hlm/hlm2/ci/fd3d3f277c9a656dc7abb86600416836a199f5f6/Minor cleanupSebastian ReicheltFri, 25 Apr 2014 17:23:23 -0000https://sourceforge.net/p/hlm/hlm2/ci/fd3d3f277c9a656dc7abb86600416836a199f5f6/https://sourceforge.net/p/hlm/hlm2/ci/6d361baccabb696ad2fa5517108f5137c7b52580/turned fixed instances into singletonsSebastian ReicheltFri, 25 Apr 2014 17:23:23 -0000https://sourceforge.net/p/hlm/hlm2/ci/6d361baccabb696ad2fa5517108f5137c7b52580/https://sourceforge.net/p/hlm/hlm2/ci/448d7f9368eadc56d622a5ef7ddfa05519b67611/minor bugfixSebastian ReicheltFri, 25 Apr 2014 17:23:23 -0000https://sourceforge.net/p/hlm/hlm2/ci/448d7f9368eadc56d622a5ef7ddfa05519b67611/https://sourceforge.net/p/hlm/hlm2/ci/d97815da03ed72c312b9c9b15f490ee93e85d945/Added code generation for bootstrap codeSebastian ReicheltTue, 08 Apr 2014 01:11:05 -0000https://sourceforge.net/p/hlm/hlm2/ci/d97815da03ed72c312b9c9b15f490ee93e85d945/https://sourceforge.net/p/hlm/hlm2/ci/9297451822ae7d98cd65297965f449879c24666d/Moved structure code generator to own subpackageSebastian ReicheltMon, 07 Apr 2014 16:15:36 -0000https://sourceforge.net/p/hlm/hlm2/ci/9297451822ae7d98cd65297965f449879c24666d/https://sourceforge.net/p/hlm/hlm2/ci/398da0125080f0a7ca1036fa39da2de00284818c/Minor cleanupSebastian ReicheltMon, 07 Apr 2014 16:11:39 -0000https://sourceforge.net/p/hlm/hlm2/ci/398da0125080f0a7ca1036fa39da2de00284818c/https://sourceforge.net/p/hlm/hlm2/ci/2c87f0c52f7c81752dbe2521f8c46eab83c547f7/Added global key access to plain implementationSebastian ReicheltMon, 07 Apr 2014 16:11:39 -0000https://sourceforge.net/p/hlm/hlm2/ci/2c87f0c52f7c81752dbe2521f8c46eab83c547f7/https://sourceforge.net/p/hlm/hlm2/ci/d371a88c42ba96ee83cf7d05e89d0f463263a8a4/Introduced methods for global key access at roo...Sebastian ReicheltMon, 07 Apr 2014 16:11:39 -0000https://sourceforge.net/p/hlm/hlm2/ci/d371a88c42ba96ee83cf7d05e89d0f463263a8a4/https://sourceforge.net/p/hlm/hlm2/ci/8dc041977c88ca0fdd37a5f5bfd15f2db866f556/More cleanupSebastian ReicheltMon, 07 Apr 2014 16:11:39 -0000https://sourceforge.net/p/hlm/hlm2/ci/8dc041977c88ca0fdd37a5f5bfd15f2db866f556/https://sourceforge.net/p/hlm/hlm2/ci/8b6e512d96783e6f07258a28986b0739d35d08e2/Fixed warnings about unused fieldsSebastian ReicheltSun, 06 Apr 2014 23:58:38 -0000https://sourceforge.net/p/hlm/hlm2/ci/8b6e512d96783e6f07258a28986b0739d35d08e2/https://sourceforge.net/p/hlm/hlm2/ci/64a739afdc946bef994b2323771a08f4f5554954/Added reference handling to make code generatio...Sebastian ReicheltSun, 06 Apr 2014 23:58:38 -0000https://sourceforge.net/p/hlm/hlm2/ci/64a739afdc946bef994b2323771a08f4f5554954/https://sourceforge.net/p/hlm/hlm2/ci/1fa7d8ca5103f841dcdb00f8cd4bff52834cecd6/First draft of structure-based generatorSebastian ReicheltTue, 01 Apr 2014 01:32:01 -0000https://sourceforge.net/p/hlm/hlm2/ci/1fa7d8ca5103f841dcdb00f8cd4bff52834cecd6/https://sourceforge.net/p/hlm/hlm2/ci/23150cc222bcfc4ccaa758fa7aa6698a471db603/Added access to superclassSebastian ReicheltTue, 01 Apr 2014 01:32:01 -0000https://sourceforge.net/p/hlm/hlm2/ci/23150cc222bcfc4ccaa758fa7aa6698a471db603/https://sourceforge.net/p/hlm/hlm2/ci/d8eb44d6c2bda359565ec57586d6402d0b3236f3/Implemented inline child listsSebastian ReicheltTue, 01 Apr 2014 01:32:01 -0000https://sourceforge.net/p/hlm/hlm2/ci/d8eb44d6c2bda359565ec57586d6402d0b3236f3/https://sourceforge.net/p/hlm/hlm2/ci/9ca63b8b7a1eaec541599979129c5d724de5cf61/Added automatic XML validationSebastian ReicheltTue, 01 Apr 2014 01:32:01 -0000https://sourceforge.net/p/hlm/hlm2/ci/9ca63b8b7a1eaec541599979129c5d724de5cf61/