Working on matching problem.
Updated index to add Google group.
Updated index.
Updated to show / hide sections in index.
Made the group and commit sections hideable.
Merge branch 'master' of https://github.com/sprowell/elision
Merge pull request #73 from sprowell/master

Updates to the index page.
Removed Google Group section.
Added missing closing angle bracket to index.
Fixed bug with Eva Node Limit comment node appearing twice.
Applied Kirk's patch to the AC Matcher for the case of matching a single variable.
Merge branch 'master' of https://github.com/elision/elision
Removed superfluous print statement from MatchHelper.
Some changes from Kirk.
1. Added tracerule() operator for turning on/off rule tracing information.
2. Added printtypes() operator for turning on/off showing the type of literals and variables.
3. Fixed a bug in matching where the initial bindings passed to the matcher were not being combined with the additional bindings found by the matcher. (The earlier fix was wrong).
4. Guards are now rewritten using the currently enabled rulesets when doing rewriting.
5. Changed some code formatting in some files.
Merge https://github.com/elision/elision
Partially working solution to issue #37.
Merge pull request #75 from Cazra/master

Partially working solution to issue #37: Core reloading
loadcoredump also reloads the core dump's history now.
Mostly working implementation for issue#34: Context checkpoints. See the operators savecheckpt, loadcheckpt, and showcheckpts in Context.eli.
Merge pull request #76 from Cazra/master

Mostly working implementation of issue #38