issues
search
UniFormal
/
MMT
The MMT Language and System
https://uniformal.github.io/
Other
68
stars
23
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Unmanaged dependency on xz.jar is not published locally via SBT
#438
ComFreek
closed
5 years ago
1
python-mmt is not published upon `publishLocal` leading to unresolved dependency errors in SBT
#437
ComFreek
opened
5 years ago
0
MMT should error on name clash with two theories in archive
#436
ComFreek
opened
5 years ago
0
Document new include self-assignment in view
#435
ComFreek
opened
5 years ago
0
Document paths
#434
ComFreek
opened
5 years ago
0
Switch Licensing
#433
tkw1536
opened
5 years ago
4
switch to Java 11
#432
kohlhase
closed
3 years ago
6
Spurious non-reproducible ParseError decoding URIs shown in MMT webserver
#431
ComFreek
opened
5 years ago
0
Document how to enable the logger in MMT shell
#430
ComFreek
opened
5 years ago
0
Calling MMTSyntaxPresenter on a view throws "semantic object not found"
#429
ComFreek
opened
5 years ago
2
Inductive Structural Feature
#428
ysharoda
opened
5 years ago
0
Wiki and other Documentation
#427
lambdaTotoro
closed
5 years ago
1
Error during archive loading after commit e8e4694
#426
ColinRothgang
closed
5 years ago
2
References to derived declarations are no longer parsed correctly after commit e8e4694, instead the terms are interpreted as the default OMSemiFormal
#425
ColinRothgang
closed
5 years ago
2
Matching issue in seeAsMod in Library.scala after commit e8e4694
#424
ColinRothgang
closed
5 years ago
1
Match error on devel after commit e8e46944e3f097c87be83b80321422b9bda83163
#423
ColinRothgang
closed
5 years ago
1
Build broken on devil due to com.sun.* import
#422
ComFreek
closed
5 years ago
2
General Notation Discussion
#421
Jazzpirate
opened
5 years ago
2
document intelij
#420
kohlhase
closed
5 years ago
1
Release 15
#419
Jazzpirate
closed
5 years ago
0
inconsistent handling of CURIE abbreviations
#418
Jazzpirate
opened
5 years ago
0
Implicit views induce implicit morphisms on meta-theories, causing problems
#417
Jazzpirate
opened
5 years ago
0
Errors from XML Streaming
#416
lambdaTotoro
closed
5 years ago
3
Functions required for TGView
#415
Shadow992
opened
5 years ago
1
Logger / Report not Thread Safe
#414
tkw1536
opened
5 years ago
1
mmt lmh fork
#413
kohlhase
opened
5 years ago
0
Easy updates for casual users
#412
florian-rabe
opened
5 years ago
0
applications tutorial - CORS fails, link down
#411
holtzermann17
opened
5 years ago
0
MMT surface syntax highlighting in rougue.
#410
kohlhase
closed
3 years ago
3
Jedit setup documentation confusing
#409
tkw1536
opened
5 years ago
0
lmh install MMT/urtheories throws errors in meta-inf and doesn't pull urtheories
#408
mgttlinger
opened
5 years ago
5
Error during install
#407
mgttlinger
closed
5 years ago
5
Release 14
#406
Jazzpirate
closed
5 years ago
0
Proposal: Add "lmh freeze" functionality
#405
tkw1536
opened
5 years ago
2
the build system does not seem to build sms files (dependencies) for \usemhmodule and \guse
#404
kohlhase
closed
5 years ago
9
lmh throws errors when META-INF repo doesn't exist
#403
Jazzpirate
closed
5 years ago
1
Source references to gitlab in MathHub
#402
florian-rabe
closed
5 years ago
2
MathWebSearch integartion
#401
florian-rabe
closed
5 years ago
1
Remove user-specific test classes
#400
tkw1536
closed
5 years ago
4
Problem with mmt_type_checking
#399
makarius
closed
5 years ago
1
Buggy PiType type inference behaviour
#398
lambdaTotoro
closed
5 years ago
1
Creating views inside an Isabelle theory
#397
makarius
closed
5 years ago
6
Proper SourceRef location and URL (not file:///)
#396
makarius
closed
5 years ago
1
Parser crashes with NullPointer on missing comma in Pi
#395
lambdaTotoro
closed
5 years ago
7
Infix notation does not work
#394
makarius
closed
5 years ago
9
Odd crash of checking.Solver.check: no backend applicable to http://cds.omdoc.org/urtheories?PLF
#393
makarius
closed
5 years ago
2
Tests missing XZ dependency
#392
tkw1536
closed
5 years ago
7
make make alltex produce sTeX module (only)
#391
kohlhase
closed
4 years ago
1
Failure to assign distinct internal names to variables
#390
rappatoni
opened
6 years ago
4
Updated the MMT-Kernel backend
#389
kaiamann
closed
6 years ago
1
Previous
Next