Hilbert II - QEDEQ Activity

proof verifier for mathematical proofs and documentation generator

Status: Beta

Brought to you by: m31

• Summary
• Files
• Reviews
• Support
• Homepage
• Wiki
• News
• Code
• Cvs
• Donate
• Mailing Lists

Activity for Hilbert II - QEDEQ

• 1 decade ago

  Michael Meyling committed [r5591]

  removeAllModules: boolean return result

• 1 decade ago

  Michael Meyling committed [r5590]

  get correct collection set

• 1 decade ago

  Michael Meyling committed [r5589]

  finish() -> finishOk()

• 1 decade ago

  Michael Meyling committed [r5588]

  no plugin execution without process allowed any...

• 1 decade ago

  Michael Meyling committed [r5587]

  refactoring interaction between DefaultInternal...

• 1 decade ago

  Michael Meyling committed [r5586]

  loadModule(InternalServiceJob,) -> loadKernelMo...

• 1 decade ago

  Michael Meyling committed [r5585]

  loadModule(InternalServiceJob,) -> loadKernelMo...

• 1 decade ago

  Michael Meyling committed [r5584]

  InterruptException added to various signatures

• 1 decade ago

  Michael Meyling committed [r5583]

  InterruptException added to various signatures

• 1 decade ago

  Michael Meyling committed [r5582]

  copy more infos to clipboard

• 1 decade ago

  Michael Meyling committed [r5581]

  load every time a plugin execution is started

• 1 decade ago

  Michael Meyling committed [r5580]

  better error messages

• 1 decade ago

  Michael Meyling committed [r5579]

  bugfix: hasBasicErrors didn't think of LodingIm...

• 1 decade ago

  Michael Meyling committed [r5578]

  --System.out.println

• 1 decade ago

  Michael Meyling committed [r5577]

  refactoring green tests (?)

• 1 decade ago

  Michael Meyling committed [r5576]

  refactoring major

• 1 decade ago

  Michael Meyling committed [r5575]

  javadoc

• 1 decade ago

  Michael Meyling committed [r5574]

  javadoc

• 1 decade ago

  Michael Meyling committed [r5573]

  load not if already loaded

• 1 decade ago

  Michael Meyling committed [r5572]

  massive bugfix: setLoadingImportsState in setLo...

• 1 decade ago

  Michael Meyling committed [r5571]

  javadoc corrected

• 1 decade ago

  Michael Meyling committed [r5570]

  make debugging simpler

• 1 decade ago

  Michael Meyling committed [r5569]

  // LATER 20140205 m31: remove if plugin locking...

• 1 decade ago

  Michael Meyling committed [r5568]

  // LATER 20140205 m31: remove if plugin locking...

• 1 decade ago

  Michael Meyling committed [r5567]

  trying again for lock after 1 second

• 1 decade ago

  Michael Meyling committed [r5566]

  lock / unlock modules now void methods

• 1 decade ago

  Michael Meyling committed [r5565]

  test multithread lockings

• 1 decade ago

  Michael Meyling committed [r5564]

  lock / unlock modules now void methods

• 1 decade ago

  Michael Meyling committed [r5563]

  synchronized startup and shutdown,

• 1 decade ago

  Michael Meyling committed [r5562]

  make it thread save

• 1 decade ago

  Michael Meyling committed [r5561]

  only lock first module, not imported ones

• 1 decade ago

  Michael Meyling committed [r5560]

  basis load required modules check improved, fun...

• 1 decade ago

  Michael Meyling committed [r5559]

  additional test shows error state without error...

• 1 decade ago

  Michael Meyling committed [r5558]

  fix for invalid cast

• 1 decade ago

  Michael Meyling committed [r5557]

  is InternalModuleServiceCall unlocking and relo...

• 1 decade ago

  Michael Meyling committed [r5556]

  fix for invalid cast

• 1 decade ago

  Michael Meyling committed [r5555]

  get rid of createServiceProcess

• 1 decade ago

  Michael Meyling committed [r5554]

  get rid of createServiceProcess

• 1 decade ago

  Michael Meyling committed [r5553]

  refactoring job execution framework

• 1 decade ago

  Michael Meyling committed [r5552]

  refactoring job execution framework

• 1 decade ago

  Michael Meyling committed [r5551]

  start gui in IDE optimization

• 1 decade ago

  Michael Meyling committed [r5550]

  start gui in IDE optimization

• 1 decade ago

  Michael Meyling committed [r5549]

  default log file name change

• 1 decade ago

  Michael Meyling committed [r5548]

  setIcon also for 48x48

• 1 decade ago

  Michael Meyling committed [r5547]

  don't write to SCM versioned file system when s...

• 1 decade ago

  Michael Meyling committed [r5546]

  javadoc

• 1 decade ago

  Michael Meyling committed [r5545]

  javadoc

• 1 decade ago

  Michael Meyling committed [r5544]

  checkstyle

• 1 decade ago

  Michael Meyling committed [r5543]

  refactoring process framework

• 1 decade ago

  Michael Meyling committed [r5542]

  checkstyle

• 1 decade ago

  Michael Meyling committed [r5541]

  checkstyle

• 1 decade ago

  Michael Meyling committed [r5540]

  test extension

• 1 decade ago

  Michael Meyling committed [r5539]

  rename

• 1 decade ago

  Michael Meyling committed [r5538]

  rename

• 1 decade ago

  Michael Meyling committed [r5537]

  rename

• 1 decade ago

  Michael Meyling committed [r5536]

  checkstyle

• 1 decade ago

  Michael Meyling committed [r5535]

  checkstyle

• 1 decade ago

  Michael Meyling committed [r5534]

  checkstyle

• 1 decade ago

  Michael Meyling committed [r5533]

  checkstyle

• 1 decade ago

  Michael Meyling committed [r5532]

  fighting against package circles

• 1 decade ago

  Michael Meyling committed [r5531]

  fighting against package circles

• 1 decade ago

  Michael Meyling committed [r5530]

  refactoring process framework, dont use Default...

• 1 decade ago

  Michael Meyling committed [r5529]

  refactoring process framework, dont use Default...

• 1 decade ago

  Michael Meyling committed [r5528]

  refactoring process framework, dont use Default...

• 1 decade ago

  Michael Meyling committed [r5527]

  refactoring process framework, dont use Default...

• 1 decade ago

  Michael Meyling committed [r5526]

  refactoring process framework, dont use Default...

• 1 decade ago

  Michael Meyling committed [r5525]

  refactoring process framework, dont use Default...

• 1 decade ago

  Michael Meyling committed [r5524]

  refactoring process framework, dont use Default...

• 1 decade ago

  Michael Meyling committed [r5523]

  refactoring process framework, dont use Default...

• 1 decade ago

  Michael Meyling committed [r5522]

  refactoring process framework, dont use Default...

• 1 decade ago

  Michael Meyling committed [r5521]

  refactoring process framework, dont use Default...

• 1 decade ago

  Michael Meyling committed [r5520]

  refactoring process framework, dont use Default...

• 1 decade ago

  Michael Meyling committed [r5519]

  refactoring process framework, dont use Default...

• 1 decade ago

  Michael Meyling committed [r5518]

  refactoring process framework, dont use Default...

• 1 decade ago

  Michael Meyling committed [r5517]

  refactoring process framework, dont use Default...

• 1 decade ago

  Michael Meyling committed [r5516]

  refactoring process framework, dont use Default...

• 1 decade ago

  Michael Meyling committed [r5515]

  refactoring process framework, dont use Default...

• 1 decade ago

  Michael Meyling committed [r5514]

  refactoring process framework, dont use Default...

• 1 decade ago

  Michael Meyling committed [r5513]

  refactoring process framework, dont use Default...

• 1 decade ago

  Michael Meyling committed [r5512]

  refactoring process framework, dont use Default...

• 1 decade ago

  Michael Meyling committed [r5511]

  refactoring process framework, dont use Default...

• 1 decade ago

  Michael Meyling committed [r5510]

  refactoring process framework, dont use Default...

• 1 decade ago

  Michael Meyling committed [r5509]

  refactoring process framework

• 1 decade ago

  Michael Meyling committed [r5508]

  refactoring of process framework

• 1 decade ago

  Michael Meyling committed [r5507]

  refactoring process framework

• 1 decade ago

  Michael Meyling committed [r5506]

  Plugin -> ModuleService; PluginBo -> ModuleServ...

• 1 decade ago

  Michael Meyling committed [r5505]

  Plugin -> ModuleService

• 1 decade ago

  Michael Meyling committed [r5504]

  throw runtime exception if process is already f...

• 1 decade ago

  Michael Meyling committed [r5503]

  developer guide additions

• 1 decade ago

  Michael Meyling committed [r5502]

  rename terminateAll method

• 1 decade ago

  Michael Meyling committed [r5501]

  rename terminateAll method

• 1 decade ago

  Michael Meyling committed [r5500]

  javadoc

• 1 decade ago

  Michael Meyling committed [r5499]

  new findbug version

• 1 decade ago

  Michael Meyling committed [r5498]

  checkstyle

• 1 decade ago

  Michael Meyling committed [r5497]

  stop removeAllModules to ignore blocked modules...

• 1 decade ago

  Michael Meyling committed [r5496]

  doc

• 1 decade ago

  Michael Meyling committed [r5495]

  doc

• 1 decade ago

  Michael Meyling committed [r5494]

  doc in markdown

• 1 decade ago

  Michael Meyling committed [r5493]

  InitalFunctionDefinition added

• 1 decade ago

  Michael Meyling committed [r5492]

  getFunctionDefinitionNumber in *FunctionDefinit...

1 >