| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Normalise line endings using a .gitattributes file. Unfortunately |  Dan Liew | 2015-06-28 |
| * | Make it possible to look up variables in the Dafny error models. |  wuestholz | 2013-07-30 |
| * | Search in long names, not the short ones | MichalMoskal | 2010-12-16 |
| * | Introduce node categories; sort fields based on that not special characters | MichalMoskal | 2010-12-01 |
| * | Implement different levels of view (normal, expert, etc). | MichalMoskal | 2010-11-09 |
| * | Right-click enable | MichalMoskal | 2010-11-06 |
| * | Add find find uses and find aliases facilities | MichalMoskal | 2010-11-06 |
| * | Simplify languague-specific interface | MichalMoskal | 2010-11-06 |
| * | Add search facility | MichalMoskal | 2010-11-04 |
| * | Rework canonical name computation | MichalMoskal | 2010-11-03 |
| * | More work on the generic namer | MichalMoskal | 2010-10-26 |
| * | Start work on the generic namer | MichalMoskal | 2010-10-26 |
| * | Move SkeletonItem to a separate file | MichalMoskal | 2010-10-14 |
 |
index : debian-boogie | |
| Debian packaging for Boogie |
| summaryrefslogtreecommitdiff |