v1.1.0

Fixes:

1. Compatibility with Coq8.5~beta3
2. This version is not compatible with Coq8.5~beta2 and earlier
3. As of Coq8.5~beta3, anonymous universe levels, e.g., "Top.n" are no longer assumed to be existing all the time.
   This slightly changes the behavior of the plugin. For more details see the documentations.

v1.0.1

Fixes small issues:

1. Undo now works on 'Universe Comparison Error' option.
2. No 'invalid identifier' warnings in case of universe names, e.g., "Top.3"

The first release version.

The first release version of UniverseComparator.