| Tue, 19 May 2015 10:57:38 +0200 |
PIDE: adapted 1st interaction in frontend (no changes in test required)
|
file | diff | annotate |
| Mon, 18 May 2015 14:08:09 +0200 |
outcomment parallelism for simplifying integration of libisabelle
|
file | diff | annotate |
| Mon, 18 May 2015 13:17:03 +0200 |
tuned
|
file | diff | annotate |
| Tue, 18 Nov 2014 18:52:16 +0100 |
note on exception on Isabelle coding standards
|
file | diff | annotate |
| Thu, 23 Oct 2014 16:49:24 +0200 |
cleanup code
|
file | diff | annotate |
| Tue, 01 Jul 2014 16:10:52 +0200 |
CLEANUP
|
file | diff | annotate |
| Fri, 13 Jun 2014 12:42:15 +0200 |
autoCalculate now parallelized
|
file | diff | annotate |
| Thu, 12 Jun 2014 20:31:13 +0200 |
autoCalculate error handling improved
|
file | diff | annotate |
| Wed, 11 Jun 2014 13:40:26 +0200 |
marked an example for parallelising calculations
|
file | diff | annotate |
| Wed, 04 Jun 2014 19:52:29 +0200 |
more verbous error output added to autoCalculate
|
file | diff | annotate |
| Mon, 10 Mar 2014 21:07:35 +0100 |
user session management now parallel
|
file | diff | annotate |
| Mon, 06 Aug 2012 16:19:30 +0200 |
fetchProposedTactic returns Tactic + errpatID list
|
file | diff | annotate |
| Mon, 30 Jul 2012 16:41:08 +0200 |
findFillpatterns: repaired signature
|
file | diff | annotate |
| Wed, 13 Jun 2012 07:28:39 +0200 |
first dialog sequence for error patterns
|
file | diff | annotate |
| Fri, 25 May 2012 16:30:15 +0200 |
added "fun inputFillFormula"
|
file | diff | annotate |
| Fri, 25 May 2012 09:58:20 +0200 |
cleaned "fun generate_inconsistent_rew"
|
file | diff | annotate |
| Thu, 24 May 2012 18:40:07 +0200 |
tuned
|
file | diff | annotate |
| Thu, 24 May 2012 17:13:58 +0200 |
prepared fun inputFillform
|
file | diff | annotate |
| Tue, 22 May 2012 13:40:06 +0200 |
added "fun requestFillformula"
|
file | diff | annotate |
| Mon, 21 May 2012 16:56:01 +0200 |
added fun FindFillpatterns
|
file | diff | annotate |
| Wed, 16 May 2012 08:59:09 +0200 |
added fun check_err_patt
|
file | diff | annotate |
| Fri, 04 May 2012 08:51:42 +0200 |
made 3 exps SignalProcessing run
|
file | diff | annotate |
| Fri, 22 Jul 2011 15:57:22 +0200 |
intermed: uncomment tests
|
file | diff | annotate |
| Wed, 20 Jul 2011 09:33:20 +0200 |
demo: step into error
|
file | diff | annotate |
| Tue, 19 Jul 2011 14:01:27 +0200 |
test/../* "equality (1+-1*2+x=0)" --> "equality (1+-1*2+x=(0::real))",
|
file | diff | annotate |
| Tue, 28 Jun 2011 15:14:00 +0200 |
intermed: make autocalc..CompleteCalc run with x+1=2
|
file | diff | annotate |
| Wed, 18 May 2011 09:25:36 +0200 |
tuned
|
file | diff | annotate |
| Sun, 15 May 2011 12:36:29 +0200 |
tuned
|
file | diff | annotate |
| Fri, 15 Apr 2011 17:07:34 +0200 |
intermed. ctxt integration - assumptions now in context
|
file | diff | annotate |
| Mon, 11 Apr 2011 12:56:57 +0200 |
intermed. ctxt introduction
|
file | diff | annotate |
| Mon, 21 Mar 2011 00:32:53 +0100 |
intermed. context integration: Isac compiles.
|
file | diff | annotate |
| Mon, 21 Feb 2011 19:40:36 +0100 |
part.update Isabelle2011
|
file | diff | annotate |
| Mon, 11 Oct 2010 13:31:22 +0200 |
removed all ".thy" in src/ and test/
|
file | diff | annotate |
| Sun, 10 Oct 2010 14:15:43 +0200 |
update finished for test/../integrate.sml
|
file | diff | annotate |
| Wed, 06 Oct 2010 15:12:41 +0200 |
intermed. test/../integrate.sml in -- me method [diff,integration] --
|
file | diff | annotate |
| Wed, 25 Aug 2010 16:20:07 +0200 |
renamed isac's directories and Build_Isac.thy
|
file | diff | annotate | base |